Robust/src/Benchmarks/SingleTM/Tests/makefile

   1 MAINCLASS=Simple
   2 SRC=${MAINCLASS}.java
   3 default:
   4         ../../../buildscript -singleTM -optimize -mainclass ${MAINCLASS} ${SRC} -o ${MAINCLASS}
   5
   6 clean:
   7         rm -rf tmpbuilddirectory
   8         rm *.bin