diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/scripts/init.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index 16b82914e..949204de3 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -16,6 +16,7 @@ function do_init { } function aptget_update { + echo "apt-get update" apt-get update if [ "$?" != 0 ]; then sleep 1s @@ -28,6 +29,7 @@ function aptget_update { } function aptget_install { + echo "apt-get -y -qq install $*" apt-get -y -qq install $* if [ "$?" != 0 ]; then sleep 1s @@ -48,9 +50,11 @@ function check_error { function run_configure_simple { rm $ERRFILE + echo "autoreconf -i" autoreconf -i 2>$ERRFILE check_error $? rm $ERRFILE + echo "./configure $*" ./configure $* 2>$ERRFILE check_error $? } @@ -60,12 +64,14 @@ function run_configure { rm $ERRFILE cd po + echo "make update-gmo" make update-gmo 2>$ERRFILE check_error $? cd .. rm $ERRFILE cd po + echo "make update-po" make update-po 2>$ERRFILE check_error $? cd .. @@ -73,12 +79,14 @@ function run_configure { function run_cmake { rm $ERRFILE + echo "cmake ." cmake . 2>$ERRFILE check_error $? } function run_make { rm $ERRFILE + echo "make -j2 V=0 $*" make -j2 V=0 $* 2>$ERRFILE check_error $? } @@ -94,6 +102,7 @@ function run_check_warnings { function run_h { rm $ERRFILE + echo "$CC -c -x c++ $* $includes */*/*/*.h */*/*.h */*.h *.h" $CC -c -x c++ $* $includes */*/*/*.h */*/*.h */*.h *.h 2>$ERRFILE DATA=$(cat $ERRFILE) if [ "$DATA" != "" ]; @@ -105,17 +114,20 @@ function run_h { function run_tarball { rm $ERRFILE + echo "make dist-xz" make dist-xz 2>$ERRFILE check_error $? mkdir $1 cd $1 + echo "tar xf ../*.tar.xz" tar xf ../*.tar.xz cd manaplus* } function run_mplint { rm $ERRFILE + echo "mplint/src/mplint $*" mplint/src/mplint $* >$ERRFILE check_error $? run_check_warnings |