# HG changeset patch # User Michael Pavone # Date 1692860005 25200 # Node ID 866577a220e620b01b3b0a1938f8139d065b2ac0 # Parent 7518db62d2325334c1db9f7aa25f8fba08531925 Fix linux nightly build hopefully diff -r 7518db62d232 -r 866577a220e6 build_nightly --- a/build_nightly Wed Aug 23 23:36:35 2023 -0700 +++ b/build_nightly Wed Aug 23 23:53:25 2023 -0700 @@ -5,7 +5,7 @@ build_user=$1 needsu=$2 if [ "$needsu" = needsu ]; then - su $build_user -c "$0 $1"; + su -l $build_user -c "$0 $1"; exit fi