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)
perms.sh-dist has bashisms, so would fail on a system (eg some recent
Debian systems) with dash as /bin/sh.


No differences found