diff --git a/scripts/dist.sh b/scripts/dist.sh index 31e6e8947e..8f58d6d943 100755 --- a/scripts/dist.sh +++ b/scripts/dist.sh @@ -43,6 +43,10 @@ for FILENAME in $(find ./dist -mindepth 1 -maxdepth 1 -type f); do if [ "${FILENAME}" = "ui.zip" ]; then cp ${FILENAME} ./pkg/${VERSION}_web_ui.zip else + if [ "${EXTENSION}" = "" ]; then + chmod +x ${FILENAME} + fi + cp ${FILENAME} ${CONSULNAME} zip ./pkg/${VERSION}_${PLATFORM}.zip ${CONSULNAME} rm ${CONSULNAME}