Compare commits
No commits in common. "036b90d9ef8447f2aac18adb42eb42471753015a" and "0c4e206d03e68ba3a2ac5ff8fe2066cc30ee4ad0" have entirely different histories.
036b90d9ef
...
0c4e206d03
|
@ -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 "$@"
|
Loading…
Reference in New Issue