From f66dacd185d4e28ece714270264541276a5e6afc Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Sat, 11 Jan 2020 06:53:52 -0500 Subject: [PATCH] Remove some make clean files. --- Makefile.in | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index e23932eaa..d0ffe3c93 100644 --- a/Makefile.in +++ b/Makefile.in @@ -103,7 +103,7 @@ PACKAGE_VERSION = @PACKAGE_VERSION@ SHELL = /bin/sh -SUBDIRS = src test_regress \ +SUBDIRS = docs src test_regress \ examples/cmake_hello_c \ examples/cmake_hello_sc \ examples/cmake_tracing_c \ @@ -114,6 +114,7 @@ SUBDIRS = src test_regress \ examples/make_tracing_c \ examples/make_tracing_sc \ examples/make_protect_lib \ + examples/xml_py \ INFOS = verilator.txt verilator.html verilator.pdf @@ -513,6 +514,7 @@ clean mostlyclean distclean maintainer-clean:: rm -f *.tex rm -rf examples/*/obj_dir* examples/*/logs rm -rf test_*/obj_dir + rm -rf nodist/fuzzer/dictionary rm -rf nodist/obj_dir distclean maintainer-clean::