run-graphgui.sh

   1 #!/bin/sh
   2
   3 cd "$(dirname "$0")"/graphgui &&
   4
   5 CLASS=BasicGUI
   6 if test ! -f $CLASS.class
   7 then
   8         ../make-graphgui.sh
   9 fi &&
  10
  11 java -cp ../jgit.jar:. $CLASS