mario@108: 
mario@108: 
mario@108: default: runtests
mario@108: 
mario@108: 
mario@108: runtests:
mario@108: 	./runtests
mario@108: 
mario@108: 
mario@108: clean:
mario@108: 	rm -f *.iec
mario@108: 	rm -f *.err
mario@108: 	rm -f *.err2
mario@108: 	rm -f *.out
mario@108: 	rm -f *.out2