Further fixes for MUMPS configry.

2026-10-06 22:55:12 +00:00 · 2018-11-30 17:04:48 +00:00
parent d2d1271113
commit 78739f1fb5
3 changed files with 2742 additions and 6443 deletions
@@ -38,6 +38,7 @@ install: all
 cleanlib:
 	(cd lib; /bin/rm -f *.a *$(.mod) *$(.fh))
 	(cd include; /bin/rm -f *.a *$(.mod) *$(.fh))
+	(cd modules; /bin/rm -f *.a *$(.mod) *$(.fh))

 veryclean: cleanlib
 	(cd mlprec; make veryclean)