mirror of
https://github.com/engineer-man/piston.git
synced 2025-05-11 22:26:26 +02:00
13 lines
No EOL
219 B
Bash
13 lines
No EOL
219 B
Bash
#!/usr/bin/env bash
|
|
|
|
# Export environment variables
|
|
export VMODULES="$PWD"
|
|
export TMPDIR="$PWD"
|
|
|
|
# Put instructions to run the runtime
|
|
|
|
rename 's/$/\.v/' "$@" # Add .v extension
|
|
|
|
filename=$1.v
|
|
shift
|
|
v run $filename "$@" |