make tests: force running tests

Chris00 · May 29, 2018 · 4ca9668 · 4ca9668
1 parent 3df6313
commit 4ca9668
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -15,7 +15,7 @@ doc:
 	echo '.def { background: #f0f0f0; }' >> _build/default/_doc/odoc.css
 
 tests:
-	jbuilder runtest
+	jbuilder runtest --force
 
 submit:
 	topkg distrib --skip-build --skip-tests