Merge pull request #365 from Brikaa/mono

Revert Mono error separation to work with websockets
This commit is contained in:
Thomas Hobson 2021-10-11 02:17:16 +13:00 committed by GitHub
commit 90945d1621
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 9 deletions

View File

@ -1,20 +1,13 @@
#!/bin/bash #!/bin/bash
check_errors () {
grep -q 'error [A-Z]\+[0-9]\+:' check.txt && cat check.txt 1>&2 || cat check.txt
rm check.txt
}
case "${PISTON_LANGUAGE}" in case "${PISTON_LANGUAGE}" in
csharp) csharp)
rename 's/$/\.cs/' "$@" # Add .cs extension rename 's/$/\.cs/' "$@" # Add .cs extension
csc -out:out *.cs > check.txt csc -out:out *.cs
check_errors
;; ;;
basic) basic)
rename 's/$/\.vb/' "$@" # Add .vb extension rename 's/$/\.vb/' "$@" # Add .vb extension
vbnc -out:out *.vb > check.txt vbnc -out:out *.vb
check_errors
;; ;;
*) *)
echo "How did you get here? (${PISTON_LANGUAGE})" echo "How did you get here? (${PISTON_LANGUAGE})"