Explicitly call bash for bash-specific scripts

Thanks to Solaris-using Brian Cameron for pointing out that our
shell scripts are bash-specific. We'd be glad if someone cared to
rewrite them to not require bash, but for now let's have truth in
advertising at least.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/check-plt.sh b/src/check-plt.sh
index da11056d0..3cc52b87f 100755
--- a/src/check-plt.sh
+++ b/src/check-plt.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 LANG=C