From c34c80e368f8eb50fd7699fbda3cde883e62370c Mon Sep 17 00:00:00 2001
From: Alvaro Saurin <alvaro.saurin@gmail.com>
Date: Mon, 17 Aug 2015 12:29:49 +0200
Subject: [PATCH] Use /bin/sh instead of /bin/bash so it can be used in
 boot2docker

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

diff --git a/scope b/scope
index caf15ede3..e994702d4 100755
--- a/scope
+++ b/scope
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 set -eu