# HG changeset patch
# User Giulio Moro <giuliomoro@yahoo.it>
# Date 1466605318 -3600
# Node ID 4656f886175ef013729002db46796ce5bf023c11
# Parent  7eb66c7898cbfe72cc9af4376399644ccfb83b05
reverted to bash, better handling of non existing IDE folder during update_board

diff -r 7eb66c7898cb -r 4656f886175e scripts/update_board
--- a/scripts/update_board	Wed Jun 22 13:34:23 2016 +0100
+++ b/scripts/update_board	Wed Jun 22 15:21:58 2016 +0100
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 #
 # This script copies the core Bela files to the BeagleBone Black
 # in preparation for building projects. It will remove any existing
@@ -100,7 +100,7 @@
 check_board_alive 
 # Check if destination folder exists
 # the StrictHostKeyChecking no should prevent the unkown host prompt
-ssh -o "StrictHostKeyChecking no" $BBB_ADDRESS stat $BBB_BELA_HOME &>/dev/null && DESTINATION_EMPTY=0 || DESTINATION_EMPTY=1
+ssh -o "StrictHostKeyChecking no" $BBB_ADDRESS [ -d $BBB_BELA_HOME ] && DESTINATION_EMPTY=0 || DESTINATION_EMPTY=1
 # Set the date on the board
 [ $FULL -eq 1 ] && set_date 
 
@@ -201,7 +201,7 @@
 	   printf "\nThe Bela core files were updated on the board, but a valid IDE folder was not found in $IDE_FOLDER/, so the IDE was not updated.
 	You can get a copy of the most up-to-date IDE files from https://github.com/LBDonovan/bela-ide\n"
 	  [ $FULL -eq 1 ] && printf "If there was an older version of the IDE on the board, it is being restarted.\n\n" &&\
-	    ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart" 
+	    ssh $BBB_ADDRESS "make -C $BBB_BELA_HOME --no-print-directory idestart &> /dev/null" 
 	fi
 else
 	echo "Not updating the IDE"