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