Cosmetic fix to prevent confusing "do_failed=false" message in the output
authorshort <>
Mon, 17 Jun 2002 02:57:24 +0000 (02:57 +0000)
committershort <>
Mon, 17 Jun 2002 02:57:24 +0000 (02:57 +0000)
bin/vellumweb-build

index 2b3da67..f8f0a2a 100755 (executable)
@@ -63,8 +63,8 @@ M7JV6^>8I7RT+HZKX8DJVK2S*2_UIE62U4WLK=^Y%O9,V*;2IZY/>O!^5.)YG
 end
 EOF
 
-set -ex
 (
+set -ex
 
 pushd $httpd
        ./configure --prefix=$prefix
@@ -123,7 +123,6 @@ pushd $httpd
        make install
 popd
 
-set +x
 echo "success."
 ) 2>&1|tee errs
 do_failed=false