Merge pull request #553 from diffblue/aiger-CLEANFILES

tautschnig · web-flow · commit 91e02e127f5a · 2024-06-16T17:42:51.000+02:00
add `aiger.a` to `CLEANFILES`
diff --git 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)
 
