diff scripts/setup_ssh.sh @ 425:99de323c13b3 prerelease

Scripts use sh instead of bash. Some fixes in run_project and build_project
author Giulio Moro <giuliomoro@yahoo.it>
date Thu, 16 Jun 2016 15:55:03 +0100
parents ab6d78e18e85
children d9a4fc5357e7
line wrap: on
line diff
--- a/scripts/setup_ssh.sh	Thu Jun 16 14:34:18 2016 +0100
+++ b/scripts/setup_ssh.sh	Thu Jun 16 15:55:03 2016 +0100
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 [ -z "$BBB_HOSTNAME" ] && BBB_HOSTNAME="192.168.7.2"
 [ -z "$BBB_USER" ] && BBB_USER="root"
 [ -z "$BBB_HOST" ] && BBB_HOST="bbb"