changeset 443:a9af964ac18a prerelease

Properly setting date in build_project
author Giulio Moro <giuliomoro@yahoo.it>
date Sun, 19 Jun 2016 01:15:27 +0100
parents 6462d0cc8906
children cdf77b9e66bf
files scripts/build_project.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/scripts/build_project.sh	Sun Jun 19 00:35:41 2016 +0100
+++ b/scripts/build_project.sh	Sun Jun 19 01:15:27 2016 +0100
@@ -99,7 +99,7 @@
 
 echo "Stopping running process..."
 # sets the date and stop running process
-ssh $BBB_ADDRESS "date -s '`date`' > /dev/null; mkdir -p $BBB_PROJECT_FOLDER; make QUIET=true --no-print-directory -C $BBB_BELA_HOME stop"
+ssh $BBB_ADDRESS "date -s \"`date '+%Y%m%d %T %Z'`\" > /dev/null; mkdir -p $BBB_PROJECT_FOLDER; make QUIET=true --no-print-directory -C $BBB_BELA_HOME stop"
 
 #concatenate arguments to form path.
 HOST_SOURCE_PATH= #initially empty, will be filled with input arguments