Fix history generation

diff --git a/continuous/steps/Makefile b/continuous/steps/Makefile
index 84b096077b9e6f68f45643e1f750e7844f47d41e..cb2703df78ecf9f92991f8bac24be64de3ba237e 100644 (file)
--- a/continuous/steps/Makefile
+++ b/continuous/steps/Makefile
@@ -1,11 +1,17 @@
 all:
        run-parts -v --exit-on-error .
 
+history:
+       for i in $$(cat tags); do $(MAKE) $$i; done < /dev/null
+
 v%:
-       cd linux && git checkout $@
-       @echo "! Date: $(shell cd linux && git log -1 --format=%ai) ok"
+       cd linux && git clean -fxd > /dev/null && git reset --hard $@
+       @$(MAKE) log 2>&1 < /dev/null | tee ../logs/$@.log 
+       touch $@
+
+log:
+       @echo "! Date: $$(cd linux && git log -1 --format=%ci) ok"
        ./11-patch
        ./20-config
        ./30-compile
        ./40-run-tests
-       touch $@