diff --git a/principia_make.sh b/principia_make.sh
index 8f58e6d..cfcd846 100644
--- a/principia_make.sh
+++ b/principia_make.sh
@@ -1 +1 @@
-make
+make -d