From f17dd4cb9a313f6e084dac2d911e293e8781ceba Mon Sep 17 00:00:00 2001 From: arnekeller Date: Tue, 9 Apr 2019 21:54:31 +0200 Subject: [PATCH] Update run script --- run_all.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/run_all.sh b/run_all.sh index 35c1337..36d5dc0 100755 --- a/run_all.sh +++ b/run_all.sh @@ -12,3 +12,4 @@ target/release/aufgabe1 -t < welt5.svg > >(tee welt5.tkz) 2> >(tee runwelt5.txt target/release/aufgabe1 -t < welt6.svg > >(tee welt6.tkz) 2> >(tee runwelt6.txt >&2) target/release/aufgabe1 -t < welt7b.svg > >(tee welt7b.tkz) 2> >(tee runwelt7b.txt >&2) target/release/aufgabe1 -t < welt8.svg > >(tee welt8.tkz) 2> >(tee runwelt8.txt >&2) +target/release/aufgabe1 -t < welt9.svg > >(tee welt9.tkz) 2> >(tee runwelt9.txt >&2)