← Back to branch summary

~armagetronad-dev/armagetronad/0.2.8-armagetronad-work

« back to all changes in this revision

Viewing changes to docker/build/make_ci.sh.in

  • Committer: Manuel Moos
  • Date: 2020-06-13 11:39:15 UTC
  • mfrom: (1166.6.65 master)
  • mto: This revision was merged to the branch mainline in revision 1562.
  • Revision ID: z-man@users.sf.net-20200613113915-31m5z3xkjs9b2ysg
Merge from 0.2.8.3

Show diffs side-by-side

added added

removed removed

Lines of Context:
docker/build/make_ci.sh.in
 
1
#!/bin/bash
 
2
 
 
3
# Helper script for building, just calls make <args>
 
4
# Optional first argument: -k, keeps intermediate directories
 
5
# (default: delete intermediates)
 
6
 
 
7
set -x
 
8
 
 
9
keep=false
 
10
if test "$1" = -k; then
 
11
    keep=true
 
12
    shift
 
13
fi
 
14
 
 
15
EXIT=0
 
16
 
 
17
pushd `dirname $0` || exit $?
 
18
 
 
19
# first make run
 
20
if ! make $*; then
 
21
    # try again with better debug output
 
22
    make -d $* || EXIT=$?
 
23
fi
 
24
 
 
25
# remove heavy intermediate directories
 
26
if test ${keep} = false; then
 
27
    make artifactclean
 
28
fi
 
29
 
 
30
popd
 
31
 
 
32
# communicate final make return
 
33
exit ${EXIT}
 
34