diff options
author | Reiner Herrmann <reiner@reiner-h.de> | 2015-06-15 13:49:12 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-06-15 14:14:17 +0200 |
commit | fa84ad0ea13d80dcce563545d187244e36ae0203 (patch) | |
tree | b22af17e34a80900e3fab82953b8a9c464da1f5b | |
parent | 075a03f4cb0b0f2d02597b58cb3ed500b730881e (diff) | |
download | jenkins.debian.net-fa84ad0ea13d80dcce563545d187244e36ae0203.tar.xz |
reproducible openwrt: clean up also after second build
-rwxr-xr-x | bin/reproducible_openwrt.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bin/reproducible_openwrt.sh b/bin/reproducible_openwrt.sh index de0627fd..0df87971 100755 --- a/bin/reproducible_openwrt.sh +++ b/bin/reproducible_openwrt.sh @@ -140,8 +140,6 @@ build_two_times() { # FIRST BUILD export TZ="/usr/share/zoneinfo/Etc/GMT+12" MAKE=make - - # first build openwrt_build "first" "$TARGET" # save results in b1 @@ -171,6 +169,9 @@ build_two_times() { export TZ="/usr/share/zoneinfo/UTC" export PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:" umask 0022 + + # clean up again + openwrt_cleanup } # |