test more

SkySkimmer · Dec 8, 2023 · 21de4f6 · 21de4f6
1 parent 3898f4e
commit 21de4f6
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -137,6 +137,9 @@ theories/dune: .dune-stamp
 
 user-contrib/Ltac2/dune: .dune-stamp
 	cp -a _build/default/ltac2_dune $@ && chmod +w $@
+	ls -l _build
+	whoami
+	echo $(MAKECMDGOALS)
 
 FORCE: ;
 
@@ -150,7 +153,8 @@ states: dunestrap
 NONDOC_INSTALL_TARGETS:=coq-core.install coq-stdlib.install coqide-server.install coqide.install coq.install
 
 world: dunestrap
-	dune build $(DUNEOPT) $(NONDOC_INSTALL_TARGETS)
+	ls -l _build && whoami && stat _build/log && id
+	dune build --display=short $(DUNEOPT) $(NONDOC_INSTALL_TARGETS)
 
 # only useful for CI
 vio: dunestrap