# HG changeset patch # User Giulio Moro # Date 1466044138 -3600 # Node ID a40ba6f91b1ecd56b6d74ade14594814751d0ea1 # Parent f4c41419f2e37562be8d21019a9d029d750051c3 Updated connect_to_project to use new Makefile diff -r f4c41419f2e3 -r a40ba6f91b1e scripts/connect_to_project.sh --- 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"