diff scripts/connect_to_project.sh @ 418:a40ba6f91b1e prerelease

Updated connect_to_project to use new Makefile
author Giulio Moro <giuliomoro@yahoo.it>
date Thu, 16 Jun 2016 03:28:58 +0100
parents a430a16d2c02
children 99de323c13b3
line wrap: on
line diff
--- a/scripts/connect_to_project.sh	Thu Jun 16 03:25:56 2016 +0100
+++ b/scripts/connect_to_project.sh	Thu Jun 16 03:28:58 2016 +0100
@@ -14,4 +14,4 @@
 [ -z "$BBB_DEFAULT_PROJECT_NAME" ] && BBB_DEFAULT_PROJECT_NAME="scriptUploadedProject"
 [ -z "$BBB_PROJECT_NAME" ] && BBB_PROJECT_NAME=$BBB_DEFAULT_PROJECT_NAME
 
-ssh -t $BBB_ADDRESS "screen -S $BBB_SCREEN_NAME -r"
+ssh -t $BBB_ADDRESS "make -C "$BBB_BELA_HOME" connect"