# HG changeset patch
# User Giulio Moro <giuliomoro@yahoo.it>
# Date 1466292648 -3600
# Node ID b596c72f0382ac81302a6ed703487dad72857f63
# Parent  7a074e238db3f4c5ce4d116d76a1306096d3ee8d
update_board sends the time zone when setting the date, format

diff -r 7a074e238db3 -r b596c72f0382 scripts/update_board
--- 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