From f112e42deb672a6f227a85ea314fed0539b9c85b Mon Sep 17 00:00:00 2001 From: sfilippone Date: Fri, 14 Mar 2025 18:49:10 +0100 Subject: [PATCH] Main Makefile fixes --- Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Makefile b/Makefile index dc0685be..34550195 100644 --- a/Makefile +++ b/Makefile @@ -84,8 +84,7 @@ cleanlib: (cd modules; /bin/rm -f *.a *$(.mod) *$(.fh) *.h) distclean: clean - /bin/rm -f Make.inc util/psb_metis_int.h base/modules/psb_config.h \ - base/modules/psb_cxxconfig.h + /bin/rm -f Make.inc util/psb_metis_int.h base/modules/psb_config.h check: all make check -C test/serial