From e77652321538438f7f038bb91e05ccf445ce9b3c Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Sat, 15 Jun 2024 16:33:34 -0700 Subject: [PATCH] add aiger.a to CLEANFILES --- src/aiger/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/aiger/Makefile b/src/aiger/Makefile index a705ff7c6..18c81849d 100644 --- a/src/aiger/Makefile +++ b/src/aiger/Makefile @@ -3,7 +3,7 @@ SRC = aiger_language.cpp include ../config.inc include ../common -CLEANFILES = +CLEANFILES = aiger$(LIBEXT) all: aiger$(LIBEXT)