changeset 441:b596c72f0382 prerelease

update_board sends the time zone when setting the date, format
author Giulio Moro <giuliomoro@yahoo.it>
date Sun, 19 Jun 2016 00:30:48 +0100
parents 7a074e238db3
children 6462d0cc8906
files scripts/update_board
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/scripts/update_board	Sat Jun 18 21:23:15 2016 +0100
+++ b/scripts/update_board	Sun Jun 19 00:30:48 2016 +0100
@@ -82,7 +82,7 @@
 [ -z "$IDE_FOLDER" ] && IDE_FOLDER=$SCRIPTDIR/../../bela-ide/
 
 
-ssh $BBB_ADDRESS "date -s \"`date '+%Y%m%d %T'`\" > /dev/null; stat $BBB_BELA_HOME &>/dev/null" && DESTINATION_EMPTY=0 || DESTINATION_EMPTY=1
+ssh $BBB_ADDRESS "date -s \"`date '+%Y%m%d %T %Z'`\" > /dev/null; stat $BBB_BELA_HOME &>/dev/null" && DESTINATION_EMPTY=0 || DESTINATION_EMPTY=1
 
 if [ $DESTINATION_EMPTY -eq 0 ];
 then