summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/ci/scripts/init.sh15
1 files changed, 15 insertions, 0 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh
index 6bd9eb50c..f26c6ea48 100755
--- a/tools/ci/scripts/init.sh
+++ b/tools/ci/scripts/init.sh
@@ -18,6 +18,11 @@ function do_init {
}
function update_repos {
+ if [ "$RUNFROMSHELL" != "" ];
+ then
+ echo "Running from shell. Skipping update repos"
+ return
+ fi
export DATA=$(cat /etc/resolv.conf|grep "nameserver 1.10.100.101")
echo "${DATA}"
if [ "$DATA" != "" ];
@@ -28,6 +33,11 @@ function update_repos {
}
function aptget_update {
+ if [ "$RUNFROMSHELL" != "" ];
+ then
+ echo "Running from shell. Skipping apt-get update"
+ return
+ fi
echo "apt-get update"
apt-get update
if [ "$?" != 0 ]; then
@@ -53,6 +63,11 @@ function aptget_update {
}
function aptget_install {
+ if [ "$RUNFROMSHELL" != "" ];
+ then
+ echo "Running from shell. Skipping apt-get install"
+ return
+ fi
echo "apt-get -y -qq install $*"
apt-get -y -qq install $*
if [ "$?" != 0 ]; then