| changeset 423 | e9d14d58be3c |
| parent 422 | 217bbd700594 |
| child 424 | daf561a83ba6 |
| 422:217bbd700594 | 423:e9d14d58be3c |
|---|---|
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 |