From a1a61e64f96a9ed852157cb94fe146c28a518105 Mon Sep 17 00:00:00 2001
From: John David Pressman <jd@jdpressman.com>
Date: Fri, 7 Jun 2019 22:25:34 -0700
Subject: [PATCH] Add execution permissions to new build scripts

---
 scripts/build_ligo_local.sh          | 0
 scripts/install_build_environment.sh | 3 +--
 scripts/setup_dev_switch.sh          | 0
 3 files changed, 1 insertion(+), 2 deletions(-)
 mode change 100644 => 100755 scripts/build_ligo_local.sh
 mode change 100644 => 100755 scripts/install_build_environment.sh
 mode change 100644 => 100755 scripts/setup_dev_switch.sh

diff --git a/scripts/build_ligo_local.sh b/scripts/build_ligo_local.sh
old mode 100644
new mode 100755
diff --git a/scripts/install_build_environment.sh b/scripts/install_build_environment.sh
old mode 100644
new mode 100755
index 7f1df608d..d76e78e61
--- a/scripts/install_build_environment.sh
+++ b/scripts/install_build_environment.sh
@@ -16,8 +16,7 @@ else
     # extinct at this point right?
     curl -L https://github.com/ocaml/opam/releases/download/2.0.4/opam-2.0.4-x86_64-linux \
 	 --output opam
-    if [ `openssl sha256 -r opam` = \
-	 "373e34f92f282273d482537f8103caad0d17b6f2699ff504bed77f474cb0c951 *opam" ]
+    if [ "`openssl sha256 -r opam`" = "373e34f92f282273d482537f8103caad0d17b6f2699ff504bed77f474cb0c951 *opam" ]
     then
 	   sudo mv opam /usr/local/bin/opam
 	   sudo chmod +x /usr/local/bin/opam
diff --git a/scripts/setup_dev_switch.sh b/scripts/setup_dev_switch.sh
old mode 100644
new mode 100755