diff --git a/Makefile b/Makefile index 374f63fea..aab3159ce 100644 --- a/Makefile +++ b/Makefile @@ -144,9 +144,6 @@ ifeq ($(OS), darwin) else sed -i 's|__PREFIX__|${IDRIS2_CURDIR}/bootstrap|g' bootstrap/idris2_app/idris2-boot.ss endif - SCHEME=${SCHEME} \ - IDRIS2_VERSION=${IDRIS2_VERSION} \ - MAKE=${MAKE} \ sh ./bootstrap.sh # Bootstrapping using racket @@ -160,8 +157,6 @@ ifeq ($(OS), darwin) else sed -i 's|__PREFIX__|${IDRIS2_CURDIR}/bootstrap|g' bootstrap/idris2_app/idris2-boot.rkt endif - IDRIS2_VERSION=${IDRIS2_VERSION} \ - MAKE=${MAKE} \ sh ./bootstrap-rkt.sh bootstrap-test: diff --git a/config.mk b/config.mk index 9c7148730..a3f6b83ee 100644 --- a/config.mk +++ b/config.mk @@ -36,7 +36,6 @@ else SHLIB_SUFFIX := .so CFLAGS += -fPIC endif - export OS ifeq ($(OS),bsd) @@ -44,3 +43,4 @@ ifeq ($(OS),bsd) else MAKE := make endif +export MAKE