diff options
-rwxr-xr-x | release/picobsd/build/build | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/release/picobsd/build/build b/release/picobsd/build/build index b2b90fd..5fa727e 100755 --- a/release/picobsd/build/build +++ b/release/picobsd/build/build @@ -1,7 +1,7 @@ #!/bin/sh - # -# $Id: build,v 1.14 1999/08/22 21:42:30 dwhite Exp $ +# $Id: build,v 1.15 1999/08/23 08:33:07 luigi Exp $ # # You can set the SRC variable which points to your source tree. It's # /usr/src by default (most people shouldn't change it). @@ -93,7 +93,7 @@ main() { echo "" ./stage1 2>&1 | tee stage1.out - if [ "X$?" != "X0" ] ; then + if [ "X?" != "X0" ] ; then echo "" echo "-> ERROR in \"${i}\" script. Aborting the build process." echo -n "-> Cleaning temporary files... " |