diff options
| author | Neels Hofmeyr <neels@hofmeyr.de> | 2017-10-23 14:57:56 +0200 |
|---|---|---|
| committer | Neels Hofmeyr <nhofmeyr@sysmocom.de> | 2017-10-24 15:31:07 +0000 |
| commit | 754e6877cccddd0a279659c32fa594b23369dc61 (patch) | |
| tree | fcb985b62a5b37b1b196f9dd874fc86f299b475f /src/ctrl | |
| parent | a568af25d2a8382265b44c9b2b3a72ca504d2443 (diff) | |
fixups for recent "Cleanup jenkins build scripts"
Change I24e500e132f5c8e8133d35548cb7b4e4552331d0 was merged, but IMHO needs
improvement. Fix these:
- clean the git source tree before each build step, in common prep_build().
- fix indenting inside the build() macros.
- change build() arg to be build_dir, to absorb cleanup steps into build().
- in jenkins.sh, use $ENABLE_SANITIZE as global env, not passed as arg.
- in jenkins.sh, don't do 'make distcheck' twice. It is not necessary to do it
from source tree as well as separately from source tree, since distcheck
already moves to a different build dir.
Change-Id: I09d306350602f21943d5bd45f7388c83ede9b524
Diffstat (limited to 'src/ctrl')
0 files changed, 0 insertions, 0 deletions