#1092 Set permissions of O/S-specific directories in /devt/builds/rid…

…e/master (#1093)
Dyalog · Aug 16, 2023 · 6e345c7 · 6e345c7
1 parent 8be4a89
commit 6e345c7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CI/publish.sh b/CI/publish.sh
@@ -47,6 +47,7 @@ for DIR in `ls _/${APP_NAME}`; do
 	echo "DEBUG: \$OSNAME=$OSNAME"
 
   cp -R _/${APP_NAME}/${DIR} $r/$d/${OSNAME}
+  chmod 755 $r/$d/${OSNAME}
 done
 
 echo 'fixing permissions'; chmod +x $r/$d/win32/{*.exe,*.dll}