diff options
author | David Thompson <dthompson2@worcester.edu> | 2020-08-24 14:32:18 -0400 |
---|---|---|
committer | David Thompson <dthompson2@worcester.edu> | 2020-08-24 14:32:18 -0400 |
commit | cc3fc91b453f400241dc1db8e8ad6ef2433536f7 (patch) | |
tree | 156baa750720daba97f99be47d0771ad9d320ade /run-example | |
parent | b15a8b5be99df32e86af8bfb6f5dbdaacceda776 (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 |