test more

SkySkimmer · Dec 8, 2023 · d7878e9 · d7878e9
1 parent 3898f4e
commit d7878e9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -137,6 +137,7 @@ theories/dune: .dune-stamp
 
 user-contrib/Ltac2/dune: .dune-stamp
 	cp -a _build/default/ltac2_dune $@ && chmod +w $@
+	ls -l _build
 
 FORCE: ;