Explicitly mark perms.sh-dist as a bash script.
authorianb <ianb>
Thu, 16 Dec 2010 18:22:16 +0000 (18:22 +0000)
committerianb <ianb>
Thu, 16 Dec 2010 18:22:16 +0000 (18:22 +0000)
commitc7b5042f921185615b471a2c01ce3db157b427f9
treea3ec44edc027df709a817e3a73027fc0ea1a7b99
parent0f7ace6454de66b5ac2e2d400b7f9408f977bfaa
Explicitly mark perms.sh-dist as a bash script.

perms.sh-dist has bashisms, so would fail on a system (eg some recent
Debian systems) with dash as /bin/sh.
perms.sh-dist