diff options
-rwxr-xr-x | debian/rules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index ec73497d..16f51676 100755 --- a/debian/rules +++ b/debian/rules @@ -8,6 +8,9 @@ export COQTEST_SKIPCOMPLEXITY = true export CAML_LD_LIBRARY_PATH = $(shell pwd)/kernel/byterun +# Show full commands when building Coq +export VERBOSE=1 + # We want to use dpatch include /usr/share/dpatch/dpatch.make |