add timeout for rustc

This commit is contained in:
Brian Seymour 2021-02-05 01:24:08 -06:00
parent 6615ec4519
commit 8cc1f6c2b5
1 changed files with 1 additions and 1 deletions

View File

@ -1,5 +1,5 @@
#!/bin/bash
cd /tmp/$2
rustc -o binary code.code
timeout -s KILL 10 rustc -o binary code.code
timeout -s KILL 3 xargs -a args.args -d '\n' ./binary < stdin.stdin