# HG changeset patch # User Giulio Moro # Date 1465050232 -3600 # Node ID 276a8517da13ea27f6343af2f527356118746a0e # Parent 9a2a5f14b58752941550a871121d27bc0d48bd79 build_project now updates the date of the files on the bbb diff -r 9a2a5f14b587 -r 276a8517da13 scripts/build_project.sh --- a/scripts/build_project.sh Sat Jun 04 14:10:45 2016 +0100 +++ b/scripts/build_project.sh Sat Jun 04 15:23:52 2016 +0100 @@ -111,7 +111,7 @@ scp $HOST_SOURCE_PATH "$BBB_NETWORK_TARGET_FOLDER" else #rsync --delete makes sure it removes files that are not in the origin folder - rsync -av --delete-after --exclude=build $HOST_SOURCE_PATH"/" "$BBB_NETWORK_TARGET_FOLDER/" #trailing slashes used here make sure rsync does not create another folder inside the target folder + rsync -ogprv --delete-after --exclude=build $HOST_SOURCE_PATH"/" "$BBB_NETWORK_TARGET_FOLDER/" #trailing slashes used here make sure rsync does not create another folder inside the target folder fi; if [ $? -ne 0 ] @@ -131,11 +131,14 @@ if [ $RUN_WITHOUT_SCREEN -ne 0 ] then - ssh -t $BBB_ADDRESS "$MAKE_COMMAND run" + echo ssh -t $BBB_ADDRESS "$MAKE_COMMAND run" + ssh -t $BBB_ADDRESS "$MAKE_COMMAND run" elif [ $RUN_IN_FOREGROUND -eq 0 ] then + echo ssh $BBB_ADDRESS "$MAKE_COMMAND runscreen" ssh $BBB_ADDRESS "$MAKE_COMMAND runscreen" else + echo ssh -t $BBB_ADDRESS "$MAKE_COMMAND runscreenfg" ssh -t $BBB_ADDRESS "$MAKE_COMMAND runscreenfg" fi fi