X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=zchaff64%2FMakefile;fp=zchaff64%2FMakefile;h=5e618634e028bdb5ee51e23d64aa54455d8d193c;hb=4ae07496db03a08e1d3b713c13e337efbf89ee1c;hp=c3d88da1cb1226cbc347604c58ee5a4f8c54e7a5;hpb=9bdf7d18433a3c0cde7429a013ef67fe75081ec7;p=satlib.git

diff --git a/zchaff64/Makefile b/zchaff64/Makefile
index c3d88da..5e61863 100644
--- a/zchaff64/Makefile
+++ b/zchaff64/Makefile
@@ -66,6 +66,6 @@ libsat.a:   $(LIB_OBJS)
 	$(CC) $(CFLAGS) $(MFLAGS) -c $< 
 
 clean:	
-	rm -f *.o libsat.a zchaff *wrapper.cpp zminimal zverify_df cnf_stats SAT_C.h
+	rm -f *.o libsat.a zchaff *wrapper.cpp zminimal zverify_df cnf_stats SAT_C.h inc_solver
 
 all: zchaff zverify_df zminimal cnf_stats inc_solver