From 5629c423ffdf5315ee4e4140d86b6b025ba7cb14 Mon Sep 17 00:00:00 2001
From: bjorn3 <bjorn3@users.noreply.github.com>
Date: Fri, 10 Aug 2018 19:09:21 +0200
Subject: [PATCH] Add #!/bin/bash to build.sh

---
 build.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build.sh b/build.sh
index feeadfc92980..0578ee8526d7 100755
--- a/build.sh
+++ b/build.sh
@@ -1,3 +1,5 @@
+#!/bin/bash
+
 cargo build || exit 1
 
 cd examples/