From 4ae07496db03a08e1d3b713c13e337efbf89ee1c Mon Sep 17 00:00:00 2001 From: bdemsky Date: Wed, 31 Dec 2014 17:49:00 +0900 Subject: [PATCH] edit --- zchaff64/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.34.1