Change awk executor

This commit is contained in:
Vrganj 2021-01-17 22:29:45 +00:00
parent 7f03de9f71
commit 1c99570e67
1 changed files with 1 additions and 3 deletions

View File

@ -1,6 +1,4 @@
#!/bin/bash #!/bin/bash
cd /tmp/$2 cd /tmp/$2
timeout -s KILL 2 sed "/___code___/Q" code.code > code.stdin timeout -s KILL 3 awk -f code.code < stdin.stdin
timeout -s KILL 2 sed "1,/___code___/d" code.code > code.awk
timeout -s KILL 3 awk -f code.awk < code.stdin