# HG changeset patch # User Michael Pavone # Date 1488100122 28800 # Node ID cb26037901fd4d9cc7f872d72e166a1f39283736 # Parent 2e58b3da1ec15918427431c6a35c800c89656ce4 Small fix to build_nightly diff -r 2e58b3da1ec1 -r cb26037901fd build_nightly --- a/build_nightly Sun Feb 26 00:57:29 2017 -0800 +++ b/build_nightly Sun Feb 26 01:08:42 2017 -0800 @@ -2,7 +2,7 @@ build_user=$1 if [ $USER != $build_user ]; then - su $build_user -c $0 "$@"; + su $build_user -c "$0 $@"; exit fi