Remember to clean up everything.

diff --git a/judge/Makefile b/judge/Makefile
index 57a688e36ba47190418b43b853ab83c8fdc672a2..b140d68866c10ce84590324fb42e37e4ab26d917 100644 (file)
--- a/judge/Makefile
+++ b/judge/Makefile
@@ -12,6 +12,6 @@ judge-tok: judge-tok.o $(JLIB)
 
 clean::
        rm -f `find . -name "*~" -or -name "*.[oa]" -or -name "\#*\#" -or -name TAGS -or -name core`
-       rm -f test-io test-tok
+       rm -f test-io test-tok judge-tok
 
 .PHONY: all clean distclean