Merge pull request #7 from mockingbirdnest/Makefile

Make debugging
mockingbirdnest · Oct 26, 2024 · 42ade36 · 42ade36
2 parents 83d512d + 6a247cd
commit 42ade36
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/principia_make.sh b/principia_make.sh
@@ -1 +1 @@
-make
+make -d