repositories / tt2015.git / blob
? search:


c80234a8d4bfd92417be67ce750811cb37c99e71
[tt2015.git] / a4 / tcp / bouw.sh
1 #!/bin/bash -x
2 javac -d . -sourcepath tester/ -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" tester/learner/*.java
Unnamed repository; edit this file 'description' to name the repository.