From c237b48e4149af2bf4be7b53b00976a6e708e77a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Fri, 8 Dec 2023 13:58:26 +0100
Subject: [PATCH] test more

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index 9b0e42ca1048f..bc4ef683e4d32 100644
--- 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,6 +153,7 @@ states: dunestrap
 NONDOC_INSTALL_TARGETS:=coq-core.install coq-stdlib.install coqide-server.install coqide.install coq.install
 
 world: dunestrap
+	ls -l _build && whoami && echo >> _build/log
 	dune build $(DUNEOPT) $(NONDOC_INSTALL_TARGETS)
 
 # only useful for CI