diff options
Diffstat (limited to 'Makefile.SH')
| -rw-r--r-- | Makefile.SH | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.SH b/Makefile.SH index 22f70aee7d..15758eb054 100644 --- a/Makefile.SH +++ b/Makefile.SH @@ -1,5 +1,5 @@ #! /bin/sh -case $CONFIG in +case $CONFIGDOTSH in '') if test -f config.sh; then TOP=.; elif test -f ../config.sh; then TOP=..; |