platform.mk / defs.mk fix: SHELL was referenced before definition

SHELL defaults to /bin/sh on Ubuntu 16, and was used to get-os.sh, which fails

Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
Jan Lindemann 2019-08-02 05:48:32 +00:00
commit 23ce1b8642
2 changed files with 6 additions and 6 deletions

View file

@ -15,12 +15,6 @@ comma := ,
include $(JWBDIR)/make/projects.mk
ifeq ($(MAKE_BENCHMARK),true)
export SHELL := /bin/bash $(JWB_SCRIPT_DIR)/timed-make-shell.sh
else
export SHELL := /bin/bash
endif
ifndef GREP
GREP := $(shell $(WHICH) grep)
endif