diff options
Diffstat (limited to 'config_h.SH')
| -rwxr-xr-x | config_h.SH | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/config_h.SH b/config_h.SH index 14f6b0eeb1..09994e62e1 100755 --- a/config_h.SH +++ b/config_h.SH @@ -31,16 +31,13 @@ already-done) echo "Not re-extracting config.h" ;; *) echo "Extracting $CONFIG_H (with variable substitutions)" sed <<!GROK!THIS! >$CONFIG_H -e 's!^#undef\(.*/\)\*!/\*#define\1 \*!' -e 's!^#un-def!#undef!' -/* - * This file was produced by running the config_h.SH script, which +/* This file was produced by running the config_h.SH script, which * gets its values from $CONFIG_SH, which is generally produced by * running Configure. * * Feel free to modify any of this as the need arises. Note, however, * that running config_h.SH again will wipe out any changes you've made. * For a more permanent change edit $CONFIG_SH and rerun config_h.SH. - * - * \$Id: Config_h.U 1 2006-08-24 12:32:52Z rmanfredi $ */ /* |