summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/ci/scripts/init.sh12
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