Makefile also set permissions.

2024-03-24 17:09:49 +01:00
parent f92b230485
commit b0a4fa5d44
1 changed files with 5 additions and 0 deletions
--- a/5
+++ b/5
@@ -1,2 +1,7 @@
+all: clean perms
+
 clean:
 	find . -iname "*~" -exec rm -fv {} \;
+
+perms:
+	chmod -c 755 tools/*