mirror of
https://github.com/engineer-man/piston.git
synced 2025-07-11 08:18:45 +02:00
Compare commits
No commits in common. "036b90d9ef8447f2aac18adb42eb42471753015a" and "0c4e206d03e68ba3a2ac5ff8fe2066cc30ee4ad0" have entirely different histories.
036b90d9ef
...
0c4e206d03
1 changed files with 3 additions and 4 deletions
7
packages/vlang/0.1.13/run
vendored
7
packages/vlang/0.1.13/run
vendored
|
@ -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…
Add table
Add a link
Reference in a new issue