| changeset 420 | a6db2b70abdd |
| parent 419 | 7268c66cf77c |
| child 421 | 864107857d27 |
| 419:7268c66cf77c | 420:a6db2b70abdd |
|---|---|
3 # to make the script fail safely |
3 # to make the script fail safely |
4 set -euo pipefail |
4 set -euo pipefail |
5 |
5 |
6 |
6 |
7 |
7 |
8 scalafile=${1:-danube.scala} |
8 #scalafile=${2:-danube.scala} |
9 out=${2:-output} |
9 out=${1:-output} |
10 |
10 |
11 |
11 |
12 |
12 |
13 echo "" > $out |
13 echo "" > $out |
14 |
14 |