From d05957e2bb66b8100ab6d1c06c5b8e97bc35ecc8 Mon Sep 17 00:00:00 2001
From: Alam Ed Arias <alam@srb2.org>
Date: Mon, 9 May 2016 20:08:35 -0400
Subject: [PATCH] build: this script needs bash, not ash

---
 comptime.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/comptime.sh b/comptime.sh
index 71c5f08a..d5ef7271 100755
--- a/comptime.sh
+++ b/comptime.sh
@@ -1,4 +1,4 @@
-#!/bin/sh -e
+#!/bin/bash -e
 path="."
 if [ x"$1" != x ]; then
 	path="$1"