mirror of
https://github.com/engineer-man/piston.git
synced 2025-06-08 03:06:26 +02:00
fix d
This commit is contained in:
parent
d07e563cb4
commit
e5a91bb71c
1 changed files with 1 additions and 1 deletions
|
@ -3,4 +3,4 @@
|
||||||
cd /tmp/$2
|
cd /tmp/$2
|
||||||
cp code.code code.d
|
cp code.code code.d
|
||||||
timeout -s KILL 10 dmd code.d
|
timeout -s KILL 10 dmd code.d
|
||||||
timeout -s KILL 3 args -a args.args -d '\n' ./code
|
timeout -s KILL 3 xargs -a args.args -d '\n' ./code
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue