diff options
| author | Robert de Bath <rdebath@poboxes.com> | 1997-05-09 19:36:29 +0200 |
|---|---|---|
| committer | Lubomir Rintel <lkundrak@v3.sk> | 2013-10-23 23:39:48 +0200 |
| commit | e63c244cb22bf48ca1d2695784a072269d19ea96 (patch) | |
| tree | 45b9018259f43db629b27395783cf48e55a85eee /libc/Config_sh | |
| parent | 4c36e9a0c125ccfff37aa440dab2cf58c4152fff (diff) | |
| download | dev86-e63c244cb22bf48ca1d2695784a072269d19ea96.tar.gz | |
Import Dev86src-0.12.0.tar.gzv0.12.0
Diffstat (limited to 'libc/Config_sh')
| -rw-r--r-- | libc/Config_sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libc/Config_sh b/libc/Config_sh index 6c93784..4beff3e 100644 --- a/libc/Config_sh +++ b/libc/Config_sh @@ -30,7 +30,7 @@ main() CHANGED=0 RUNNING=1 - [ "$DIST" != "" ] && { + [ "$DIST" != "" -o ! -t 1 -o ! -t 0 ] && { RUNNING=0 echo 'Using default configuration' } |