From d9298edec1f23961c0cd4e2cf725ebf87ecafb96 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 71c5f08aa..d5ef7271a 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"