diff --git a/Makefile b/Makefile index afea0c5..27fb543 100644 --- 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 index fe2ad49..b74b83c 100644 --- a/patches/apply.sh +++ b/patches/apply.sh @@ -1,2 +1 @@ -#!/bin/bash for p in ./patches/*.patch; do patch -p0 < $p; done