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
|
# Put instructions to run the runtime
|
||||||
|
|
||||||
filename=$1
|
rename 's/$/\.v/' "$@" # Add .v extension
|
||||||
|
|
||||||
rename 's/$/\.v/' $filename # Add .v extension
|
|
||||||
|
|
||||||
|
filename=$1.v
|
||||||
shift
|
shift
|
||||||
v run $filename.v "$@"
|
v run $filename "$@"
|
Loading…
Reference in New Issue