Compare commits

..

No commits in common. "036b90d9ef8447f2aac18adb42eb42471753015a" and "0c4e206d03e68ba3a2ac5ff8fe2066cc30ee4ad0" have entirely different histories.

1 changed files with 3 additions and 4 deletions

View File

@ -6,9 +6,8 @@ export TMPDIR="$PWD"
# Put instructions to run the runtime
filename=$1
rename 's/$/\.v/' $filename # Add .v extension
rename 's/$/\.v/' "$@" # Add .v extension
filename=$1.v
shift
v run $filename.v "$@"
v run $filename "$@"