diff options
| -rw-r--r-- | admin/fixperms | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/admin/fixperms b/admin/fixperms index ab857e2..190e8ea 100644 --- a/admin/fixperms +++ b/admin/fixperms @@ -1,4 +1,12 @@ #!/usr/bin/env bash -chmod +x admin/makedoc.sh admin/docblocks admin/runtests admin/mathlib \ - admin/fixperms admin/prepare-release admin/checkimport admin/checkimports \ - admin/findphp
\ No newline at end of file +cat <<EOF | xargs chmod +x +admin/checkimport +admin/checkimports +admin/docblocks +admin/findphp +admin/fixperms +admin/makedoc.sh +admin/mathlib +admin/prepare-release +admin/runtests +EOF |