diff options
Diffstat (limited to 'config_h.SH')
-rwxr-xr-x | config_h.SH | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/config_h.SH b/config_h.SH index 451c04a51d..26ed9f9fba 100755 --- a/config_h.SH +++ b/config_h.SH @@ -5,13 +5,6 @@ # # See Porting/config_h.pl -#!/bin/sh -# -# THIS IS A GENERATED FILE -# DO NOT HAND-EDIT -# -# See Porting/config_h.pl - : Set up for generating config_h.SH case "$CONFIG_SH" in '') CONFIG_SH=config.sh;; @@ -38,9 +31,6 @@ esac case "$CONFIG_H" in already-done) echo "Not re-extracting config.h" ;; *) -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 @@ -5302,5 +5292,3 @@ sed <<!GROK!THIS! >$CONFIG_H -e 's!^#undef\(.*/\)\*!/\*#define\1 \*!' -e 's!^#un !GROK!THIS! ;; esac -;; -esac |