Undo addition of source command to makefile build-deps

2019-06-01 02:06:44 -07:00 · 2019-06-01 02:06:44 -07:00 · b604c3badf
commit b604c3badf
parent 0537d9e333
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -5,7 +5,7 @@ build-deps:
 	./build-deps.sh

 build: build-deps
-	source ./build.sh
+	./build.sh

 test: build
 	dune build @ligo-test