From 3b016bd79b475c9071874d5fb29561767884e6cc Mon Sep 17 00:00:00 2001
From: LawrenceTang <tangzongsheng@gmail.com>
Date: Tue, 16 May 2017 17:40:17 +0800
Subject: [PATCH] chmod +x build

---
 build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 mode change 100644 => 100755 build

diff --git a/build b/build
old mode 100644
new mode 100755
index a01f2ff..e648a68
--- a/build
+++ b/build
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # check if sudo is required and save the result as ${PFX}:
 [[ ${EUID} -ne 0 ]] && PFX='sudo ' || PFX=''