diff options
Diffstat (limited to 'config_h.SH')
| -rw-r--r-- | config_h.SH | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/config_h.SH b/config_h.SH index bb951ac371..e9c9d6df9d 100644 --- a/config_h.SH +++ b/config_h.SH @@ -20,8 +20,11 @@ esac case "$0" in */*) cd `expr X$0 : 'X\(.*\)/'` ;; esac -echo "Extracting $CONFIG_H (with variable substitutions)" -sed <<!GROK!THIS! >$CONFIG_H -e 's!^#undef\(.*/\)\*!/\*#define\1 \*!' -e 's!^#un-def!#undef!' +case "$CONFIG_H" in +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 * gets its values from $CONFIG_SH, which is generally produced by @@ -4485,3 +4488,5 @@ sed <<!GROK!THIS! >$CONFIG_H -e 's!^#undef\(.*/\)\*!/\*#define\1 \*!' -e 's!^#un #endif !GROK!THIS! + ;; +esac |