Fixed a bug in cubical-test.

Old .agdai files should not be used.
agda · Apr 20, 2020 · c0b4c61 · c0b4c61
1 parent a1f2b75
commit c0b4c61
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -324,6 +324,7 @@ std-lib-test :
 
 .PHONY : cubical-test ##
 cubical-test :
+	-rm -r cubical/_build
 	@$(call decorate, "Cubical library test", \
 		time $(MAKE) -C cubical \
                   AGDA_EXEC=$(AGDA_BIN) RTS_OPTIONS=$(AGDA_OPTS))