}
(void) puts("/* This file is automatically generated; to modify it,");
(void) puts(" modify the source file, not this file. */");
- printf("char* %s=\"\\\n",argv[1]);
+ printf("const char* %s=\"\\\n",argv[1]);
colno=0;
while((c=getchar())!=EOF)
{
* rather than reading them from disk; in this case, these extern
* variables will be set non-null by object files invented
* specifically for the purpose. */
-extern /*@null@*/ char* ick_clc_cset_atari;
-extern /*@null@*/ char* ick_clc_cset_baudot;
-extern /*@null@*/ char* ick_clc_cset_ebcdic;
-extern /*@null@*/ char* ick_clc_cset_latin1;
+extern /*@null@*/ const char* ick_clc_cset_atari;
+extern /*@null@*/ const char* ick_clc_cset_baudot;
+extern /*@null@*/ const char* ick_clc_cset_ebcdic;
+extern /*@null@*/ const char* ick_clc_cset_latin1;
-static /*@null@*/ char* ick_clc_cset_ptr=0;
+static /*@null@*/ const char* ick_clc_cset_ptr=0;
/* Fake that we're reading hardcoded characters from a file. This
* method of doing it is obviously not thread-safe. */