mirror of
https://github.com/engineer-man/piston.git
synced 2025-06-08 03:06:26 +02:00
delete nim
This commit is contained in:
parent
c3416b8628
commit
1441b5ef6f
6 changed files with 1 additions and 27 deletions
|
@ -1,4 +0,0 @@
|
|||
cd /tmp/$2
|
||||
timeout -s KILL 10 nim --hints:off c code.code
|
||||
runuser runner$1 -c "cd /tmp/$2 ; cat args.args | xargs -d '\n' timeout -s KILL 3 ./code"
|
||||
|
Loading…
Add table
Add a link
Reference in a new issue