Explicitly mark perms.sh-dist as a bash script.

[mir.git] / perms.sh-dist

diff --git a/perms.sh-dist b/perms.sh-dist
index ae9f312..0711ab3 100755 (executable)
--- a/perms.sh-dist
+++ b/perms.sh-dist
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # Where the installed system resides
 INSTDIR=`dirname $0`/bin/mir