diff --git a/tools/mki-sh-functions b/tools/mki-sh-functions index 46fb3f2..9ca727f 100755 --- a/tools/mki-sh-functions +++ b/tools/mki-sh-functions @@ -64,7 +64,7 @@ get_copy_args() { make_exec() { cat > "$1" - chmod +x -- "$1" + chmod 755 -- "$1" } run_chrooted() {