From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 20 Jan 2016 10:15:42 +0000 (+0100)
Subject: awesome scriptszzz"
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=7b67f684b001855df901f23c03e36e5095bed4b4;p=tt2015.git

awesome scriptszzz"
---

diff --git a/a4/code/bouw.sh b/a4/code/bouw.sh
old mode 100644
new mode 100755
index b706518..dbf9d07
--- a/a4/code/bouw.sh
+++ b/a4/code/bouw.sh
@@ -1,2 +1,2 @@
+#!/bin/bash -x
 javac -d . -sourcepath src/ -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" src/learner/*.java
-echo "Werkt het niet? Verifieer java 1.8"
diff --git a/a4/code/learnedModel.dot b/a4/code/learnedModel.dot
deleted file mode 100644
index 8c17d6c..0000000
--- a/a4/code/learnedModel.dot
+++ /dev/null
@@ -1,18 +0,0 @@
-digraph g {
-__start0 [label="" shape="none"];
-
-	s0 [shape="circle" label="0"];
-	s1 [shape="circle" label="1"];
-	s2 [shape="circle" label="2"];
-	s0 -> s1 [label="a / x"];
-	s0 -> s2 [label="b / y"];
-	s0 -> s0 [label="c / z"];
-	s1 -> s1 [label="a / z"];
-	s1 -> s2 [label="b / y"];
-	s1 -> s1 [label="c / z"];
-	s2 -> s2 [label="a / z"];
-	s2 -> s0 [label="b / y"];
-	s2 -> s2 [label="c / z"];
-
-__start0 -> s0;
-}
diff --git a/a4/code/run.sh b/a4/code/run.sh
old mode 100644
new mode 100755
index becbbd0..d3d70ef
--- a/a4/code/run.sh
+++ b/a4/code/run.sh
@@ -1 +1,2 @@
+#!/bin/bash -x
 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main
diff --git a/a4/code/schoonop.sh b/a4/code/schoonop.sh
old mode 100644
new mode 100755
index 9665e25..0b3a81d
--- a/a4/code/schoonop.sh
+++ b/a4/code/schoonop.sh
@@ -1,2 +1,2 @@
-rm *.dot
-rm -rf learner
+#!/bin/bash -x
+rm -r learner *.{pdf,dot}