1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
|
From: Ralf Treinen <treinen@debian.org>
Date: Wed, 4 Sep 2019 14:10:12 +0200
Subject: avoid bashism in clean target, don't kill all executables
---
Makefile | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
index c03bd9e..66e947a 100644
--- a/Makefile
+++ b/Makefile
@@ -171,10 +171,9 @@ include .depend
.PHONY: clean dist-clean
clean:
- @ rm -f *~ .*~ *.{o,a} *.cm[aiox] *.cmxa *.annot
+ @ rm -f *~ .*~ *.[oa] *.cm[aiox] *.cmxa *.annot *.exe
@ rm -f $(GENERATED_SOURCES0) $(GENERATED_SOURCES1)
@ rm -rf $(PKGNAME).html $(PKG_TARBALL)
- @ find . -type f -perm -u=x -exec rm -f {} \;
@ if [ -d ./html ]; then rm -rf ./html; fi
cd demos; $(MAKE) clean
|