summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/ci/scripts/init.sh14
1 files changed, 5 insertions, 9 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh
index 2ee34d722..5ab131b1c 100755
--- a/tools/ci/scripts/init.sh
+++ b/tools/ci/scripts/init.sh
@@ -1,13 +1,8 @@
#!/bin/bash
-pwd
-mkdir logs
-
export dir=$(pwd)
export ERRFILE=${dir}/logs/${LOGFILE}
-cat /etc/os-release
-
rm ${ERRFILE}
function do_init {
@@ -65,9 +60,13 @@ function aptget_update {
function aptget_install {
if [ "$RUNFROMSHELL" != "" ];
then
- echo "Running from shell. Skipping apt-get install"
+ echo "Running from shell. Skipping apt-get"
return
fi
+
+ update_repos
+ aptget_update
+
echo "apt-get -y -qq install $*"
apt-get -y -qq install $*
if [ "$?" != 0 ]; then
@@ -265,6 +264,3 @@ function run_mplint {
check_error $?
run_check_warnings
}
-
-update_repos
-aptget_update