Make ick_datadir const char*

diff --git a/src/cesspool.c b/src/cesspool.c
index 43db0ba2600c70756f101c06f45e47bc0ee8ec05..097bd737fb04c641d6a849201b0f7ceaf8c55df7 100644 (file)
--- a/src/cesspool.c
+++ b/src/cesspool.c
@@ -84,7 +84,7 @@ LICENSE TERMS
  * give it a sane value just in case it does. (This is referenced by
  * clc-cset.c, but due to the linking-in of the character sets
  * themselves the reference should never be used.) */
-/*@observer@*/ /*@dependent@*/ char* ick_datadir=".";
+/*@observer@*/ /*@dependent@*/ const char* ick_datadir=".";
 
 /**********************************************************************
  *

diff --git a/src/clc-cset.c b/src/clc-cset.c
index 133b595144e1157393e61ce4fbf11334ec8b7289..5807438fc8361d567b6a2865009da121859b8632 100644 (file)
--- a/src/clc-cset.c
+++ b/src/clc-cset.c
@@ -93,7 +93,7 @@ static int ick_csetow=0; /* which cset to overwrite ick_next */
 
 /* For help finding files */
 /*@observer@*/ extern char* ick_globalargv0;
-/*@observer@*/ extern char* ick_datadir;
+/*@observer@*/ extern const char* ick_datadir;
 
 /*@-mustfreefresh@*/
 /* because Splint doesn't understand how findandfopen works */

diff --git a/src/convickt.c b/src/convickt.c
index 7c28b036189247e46c057f16ade626d7a96df285..d12ca38c9fc42571fe7d83380e3f149058c548ba 100644 (file)
--- a/src/convickt.c
+++ b/src/convickt.c
@@ -35,7 +35,7 @@ extern int ick_clc_cset_convert(const char* in, /*@partial@*/ char* out, const c
 /* For communication with clc_cset.c */
 /*@observer@*/ char* ick_globalargv0;
 /*@-redef@*/ /* it's never the case that both definitions are used at once */
-/*@observer@*/ /*@dependent@*/ char* ick_datadir;
+/*@observer@*/ /*@dependent@*/ const char* ick_datadir;
 /*@=redef@*/
 /* We want to read the latest versions of the character sets from disk. */
 /*@null@*/ char* ick_clc_cset_atari=0;