From f951161884c31fdf0527c587464be2e1a8f3393e Mon Sep 17 00:00:00 2001 From: John David Pressman Date: Sat, 1 Jun 2019 03:36:10 -0700 Subject: [PATCH] Move build.sh after emacs accidentally wrote it back in /src/ --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) mode change 100755 => 100644 build.sh diff --git a/build.sh b/build.sh old mode 100755 new mode 100644 index d203b42e5..e79f66d86 --- a/build.sh +++ b/build.sh @@ -1,3 +1,3 @@ #! /bin/sh - +eval $(opam env) dune build -p ligo