patch 8.2.4421: some installed files and directories have wrong permissions

Problem: Some installed files and directories have wrong permissions. Solution: Adjust the Makefile and shell to set permissions. (closes #9793)
2022-02-19 13:25:18 +00:00
parent a42535340a
commit 20563e0f84
3 changed files with 9 additions and 6 deletions
--- a/src/installman.sh
+++ b/src/installman.sh
@@ -40,6 +40,7 @@ if test $what = "install" -o $what = "xxd"; then
   if test ! -d $destdir; then
      echo creating $destdir
      /bin/sh install-sh -c -d $destdir
+      chmod 755 $destdir
   fi
 fi