From 20960a5e88d963c688f8742b10d1c1f7094cc9da Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 6 Apr 2008 16:30:52 +0000
Subject: [PATCH] build script needs bash

---
 build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build b/build
index 24c1c56..db4d64f 100755
--- a/build
+++ b/build
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 source settings
 
-- 
2.20.1