mirror of
https://github.com/engineer-man/piston.git
synced 2025-04-22 04:56:30 +02:00
Merge from upstream
This commit is contained in:
commit
a0693fb3a2
1 changed files with 1 additions and 1 deletions
|
@ -1,6 +1,6 @@
|
|||
cd /tmp/$2
|
||||
cp code.code interim.java
|
||||
name=$(grep -Po "(?<=\n|\A)\s*(public\s+)?(class|interface)\s+\K([^\n\s{]+)" interim.java)
|
||||
name=$(grep -Po "(?<=\n|\A)\s*(public\s+)?(class|interface)\s+\K([^\/\\\n\s{]+)" interim.java)
|
||||
mv interim.java $name.java
|
||||
|
||||
runuser runner$1 -c "\
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue