diff options
author | David Thompson <dthompson2@worcester.edu> | 2021-05-05 08:21:09 -0400 |
---|---|---|
committer | David Thompson <dthompson2@worcester.edu> | 2021-05-05 08:21:09 -0400 |
commit | 451749de213c4cc9e2d097b90b3aaa882e288f4a (patch) | |
tree | eb093bd1c580319244c846ae3fb037158def072e /run-example | |
parent | e79fd509c40d11f9a4b009a395b1632c106d6a22 (diff) |
Add run-example script.
Diffstat (limited to 'run-example')
-rwxr-xr-x | run-example | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/run-example b/run-example new file mode 100755 index 0000000..aba027a --- /dev/null +++ b/run-example @@ -0,0 +1,4 @@ +#!/bin/sh + +cd examples +../pre-inst-env guile $1.scm |