From 8f33199e9e9342f1a0cbe3469fcfccf7f53cb4f2 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@google.com>
Date: Wed, 13 Feb 2019 20:55:17 -0500
Subject: Make build verbose

---
 debian/rules | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
cgit v1.2.3