diff options
| author | David Thompson <dthompson2@worcester.edu> | 2020-10-03 21:43:02 -0400 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2020-10-03 22:02:26 -0400 |
| commit | 0a13a8e9760091031986fe3a429645113dd038b1 (patch) | |
| tree | 8a9f3e231def8e58439bc36bb8e074bcc17e5909 /run-example | |
| parent | d573ce16f2cb8e688352655ecb34f4f7dea2784b (diff) | |
Do not auto-compile example files before running them.
Diffstat (limited to 'run-example')
| -rwxr-xr-x | run-example | 2 |
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 |