changeset 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 f4c41419f2e3
children 4fb06ca94e02
files scripts/connect_to_project.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
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"