diff options
author | Thomas E. Dickey <dickey@invisible-island.net> | 2004-02-04 12:07:09 -0500 |
---|---|---|
committer | Thomas E. Dickey <dickey@invisible-island.net> | 2004-02-04 12:07:09 -0500 |
commit | c8a4110f7fc51d0c90eff9cbfd351f2c0757154d (patch) | |
tree | 9141689b25e72693e1f625a88615313fc7490dbc /cfg_defs.sh | |
parent | b9e930ec26cc241a14705966d21ae0bf3559d8ef (diff) | |
download | lynx-snapshots-c8a4110f7fc51d0c90eff9cbfd351f2c0757154d.tar.gz |
snapshot of project "lynx", label v2-8-5rel_1
Diffstat (limited to 'cfg_defs.sh')
-rwxr-xr-x | cfg_defs.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/cfg_defs.sh b/cfg_defs.sh index 80a7c852..1be17106 100755 --- a/cfg_defs.sh +++ b/cfg_defs.sh @@ -5,6 +5,9 @@ TOP="${1-.}" OUT=cfg_defs.h +# just in case we want to run this outside the makefile +: ${SHELL:=/bin/sh} + cat >$OUT <<EOF #ifndef CFG_DEFS_H #define CFG_DEFS_H 1 @@ -20,7 +23,7 @@ sed \ -e 's/^.[^=]*_cv_//' \ -e 's/=\${.*=/=/' \ -e 's/}$//' \ - config.cache | /bin/sh $TOP/cfg_edit.sh >>$OUT + config.cache | $SHELL $TOP/cfg_edit.sh >>$OUT cat >>$OUT <<EOF }; @@ -36,7 +39,7 @@ sed -e 's@ @ @g' \ -e 's@^[ ]*#define[ ]*@@' \ -e 's@[ ]*/\*.*\*/@@' \ -e 's@[ ][ ]*@=@' \ - | /bin/sh $TOP/cfg_edit.sh >>$OUT + | $SHELL $TOP/cfg_edit.sh >>$OUT cat >>$OUT <<EOF }; |