diff options
Diffstat (limited to 'runner.sh')
-rwxr-xr-x | runner.sh | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -37,7 +37,9 @@ function vaporize() { function condense() { # condense the file - echo "Not finished!" + ext="s" + java VM2M < $1 > "./output/${filename}.$ext" + java -jar mars.jar nc "./output/${filename}.$ext" } |