path: root/scripts/
diff options
authorNeels Hofmeyr <>2017-10-27 22:10:17 +0200
committerNeels Hofmeyr <>2017-10-27 22:37:22 +0200
commitf42a1cfa501d67a0fa96def4a1ff352c2b214620 (patch)
tree93cc91fc530be98aaf53e034edf342dc981a611f /scripts/
parent26f9d8768b644ae0dd20b0e671b949a340c954e4 (diff)
add, use in
So far, each jenkins job does its own cleanup, more or less well. Also, jenkins git config offers the 'Clean before checkout' option, which seems to fail when there are non-writable leftovers from a failed 'make distcheck'. Furthermore, our jenkins build slaves have unused compiled binaries piling up by the gigabytes: each matrix build x each parallel build and each compiled dependency therein builds .o, .a, .so and executables plus installs them to a local prefix, and just leaves them sitting around to rot until the job runs again. Instead, we want to clean them out when building is done. All of this calls for a unified cleanup script that knows how to clean a workspace properly, to run once before and once after each jenkins build. Here it is. Use that function in instead of duplicating cleanup steps. Change-Id: I2409b2928b4d7ebbd6c005097d4ad7337307dd93
Diffstat (limited to 'scripts/')
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/ b/scripts/
index 86da9a6..c256a6a 100755
--- a/scripts/
+++ b/scripts/
@@ -8,5 +8,11 @@ fi
cd $1
git fetch origin
+# Cleanup should already have happened during a global,
+# but in case the caller did not (want to) call that, let's also do cleanup in
+# the dep subdir separately:
git reset --hard origin/master
git rev-parse HEAD