Call apply.sh without chmod +x

glnc · Jun 29, 2018 · 5e00f55 · 5e00f55
1 parent ea2d880
commit 5e00f55
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -35,7 +35,7 @@ minisat:
 	@echo "> Built MiniSat"
 
 minisat-patched: minisat-cloned
-	./patches/apply.sh
+	sh ./patches/apply.sh
 	@echo "> Patched MiniSat to be compatible with emscripten"
 
 minisat-cloned: clean-minisat

diff --git a/patches/apply.sh b/patches/apply.sh
@@ -1,2 +1 @@
-#!/bin/bash
 for p in ./patches/*.patch; do patch -p0 < $p; done
Original file line number	Diff line number	Diff line change
		@@ -1,2 +1 @@
		#!/bin/bash
		for p in ./patches/*.patch; do patch -p0 < $p; done