From 56814ed072fa99d9acd2f9a3258764c1b41dfc6f Mon Sep 17 00:00:00 2001
From: Doug Kearns <dougkearns@gmail.com>
Date: Thu, 4 Jun 2009 21:42:30 +1000
Subject: [PATCH] Specify bash rather than dash in the make_jar.sh shebang
 line.

---
 common/make_jar.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/common/make_jar.sh b/common/make_jar.sh
index 7632d64d..3d073a0d 100644
--- a/common/make_jar.sh
+++ b/common/make_jar.sh
@@ -1,4 +1,4 @@
-#!/bin/dash
+#!/bin/bash
 set -e
 
 top=$(pwd)