# HG changeset patch
# User Giulio Moro <giuliomoro@yahoo.it>
# Date 1466295327 -3600
# Node ID a9af964ac18a350b97afb88c4616fb26a36a64b4
# Parent  6462d0cc8906beef5627df95f3a0901b93e5ffd6
Properly setting date in build_project

diff -r 6462d0cc8906 -r a9af964ac18a scripts/build_project.sh
--- 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