check: 
	chmod 744 check-progs.sh
	check-progs.sh

clean:
	cd new-runs ; rm -f *
	touch junk.tmp ; rm -f junk.tmp check-progs.result *.diff *~