projects / smartthings-infrastructure.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/smartthings-infrastructure
[smartthings-infrastructure.git] / debug.sh
1 #!/bin/bash
2
3 java -classpath bin/main:lib/jpf.jar:../jpf-core/lib/groovy-2.5.7/:../jpf-core/lib/groovy-dateutil-2.5.7/:../jpf-core/lib/groovy-json-2.5.7/ main
Unnamed repository; edit this file 'description' to name the repository.