From 19364b35a3e2388d33268d0cb7db59882afce9a6 Mon Sep 17 00:00:00 2001
From: Philipp Rosenkranz <ph.rosenkranz@gmail.com>
Date: Sun, 28 Jun 2015 22:02:44 +0200
Subject: [PATCH] make: clean artifacts after build success/fail
---
Makefile.buildtests | 14 ++++++++++++++
1 file changed, 14 insertions(+)
diff --git a/Makefile.buildtests b/Makefile.buildtests
index 77e05eb148..a0366c5383 100644
--- a/Makefile.buildtests
+++ b/Makefile.buildtests
@@ -70,6 +70,20 @@ buildtest:
fi; \
break; \
done; \
+ env -i \
+ HOME=$${HOME} \
+ PATH=$${PATH} \
+ BOARD=$${BOARD} \
+ CCACHE=$${CCACHE} \
+ CCACHE_DIR=$${CCACHE_DIR} \
+ CCACHE_BASEDIR=$${CCACHE_BASEDIR} \
+ RIOTBASE=$${RIOTBASE} \
+ RIOTBOARD=$${RIOTBOARD} \
+ RIOTCPU=$${RIOTCPU} \
+ BINDIRBASE=$${BINDIRBASE} \
+ RIOTNOLINK=$${RIOTNOLINK} \
+ RIOT_VERSION=$${RIOT_VERSION} \
+ $(MAKE) clean 2>&1 >/dev/null || true; \
done; \
$${BUILDTESTOK}
endif # BUILD_IN_DOCKER
--
GitLab