1 files changed, 3 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules
index e705617..48e004c 100755
--- a/debian/rules
+++ b/debian/rules
@@ -4,6 +4,9 @@
 include /usr/share/coq/coqvars.mk
 include /usr/share/ocaml/ocamlvars.mk
 
+# Show full commands when building.
+export VERBOSE := 1
+
 ifeq ($(OCAML_NATDYNLINK),yes)
   TARGET := opt
 else