diff options
Diffstat (limited to 'build_nightly')
-rwxr-xr-x | build_nightly | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build_nightly b/build_nightly index 332ec0c..3bea61e 100755 --- a/build_nightly +++ b/build_nightly @@ -1,5 +1,7 @@ #!/bin/sh +set -e + build_user=$1 if [ $USER != $build_user ]; then su $build_user -c "$0 $@"; |