summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Thompson <dthompson2@worcester.edu>2020-10-03 21:43:02 -0400
committerDavid Thompson <dthompson2@worcester.edu>2020-10-03 22:02:26 -0400
commit0a13a8e9760091031986fe3a429645113dd038b1 (patch)
tree8a9f3e231def8e58439bc36bb8e074bcc17e5909
parentd573ce16f2cb8e688352655ecb34f4f7dea2784b (diff)
Do not auto-compile example files before running them.
-rwxr-xr-xrun-example2
1 files changed, 1 insertions, 1 deletions
diff --git a/run-example b/run-example
index aba027a..78b1496 100755
--- a/run-example
+++ b/run-example
@@ -1,4 +1,4 @@
#!/bin/sh
cd examples
-../pre-inst-env guile $1.scm
+../pre-inst-env guile --no-auto-compile $1.scm