mirror of
https://github.com/engineer-man/piston.git
synced 2025-05-05 11:26:27 +02:00
14 lines
226 B
Bash
14 lines
226 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 "$@"
|