mirror of https://github.com/01-edu/public.git
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
21 lines
285 B
21 lines
285 B
4 years ago
|
#!/bin/sh
|
||
|
|
|
||
|
|
set -o noglob
|
||
|
|
set -o errexit
|
||
|
|
set -o nounset
|
||
|
|
IFS='
|
||
|
|
'
|
||
|
|
|
||
|
|
mkdir -p src/student
|
||
|
|
cd src/student
|
||
|
|
|
||
|
|
first_file=$(echo "$EXPECTED_FILES" | cut -d' ' -f1)
|
||
|
|
mkdir -p "$(dirname "$first_file")"
|
||
|
|
cat > "$first_file"
|
||
|
|
|
||
|
|
cd
|
||
|
|
|
||
|
|
# Run program
|
||
|
|
go build "./src/student/$EXERCISE"
|
||
|
|
./"${EXERCISE}" "$@"
|