diff options
Diffstat (limited to 'scheme/refresh.sh')
| -rwxr-xr-x | scheme/refresh.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/scheme/refresh.sh b/scheme/refresh.sh new file mode 100755 index 0000000..e38b99f --- /dev/null +++ b/scheme/refresh.sh @@ -0,0 +1,16 @@ +#!/bin/bash + + +# Script that resets Scheme compilation to facilitate switching between mini and micro. +# Don't need to recompile mk.scm and uk.scm since they don't depend on anything. + +#touch mk.scm +touch mkdefs.scm + +#touch uk.scm + +touch houses.scm +touch logo.scm +touch zebra.scm + + |
