diff options
| -rwxr-xr-x | cflags.SH | 3 | ||||
| -rw-r--r-- | config_h.SH | 9 |
2 files changed, 9 insertions, 3 deletions
@@ -17,8 +17,9 @@ case "$0" in */*) cd `expr X$0 : 'X\(.*\)/'` ;; esac -if ! test -f config.h; then +if test -f config_h.SH && ! test -f config.h; then . ./config_h.SH + CONFIG_H=already-done fi warn='' 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 |