diff --git a/make/defs.mk b/make/defs.mk
index 9962c5cf..7ffbd12b 100644
--- a/make/defs.mk
+++ b/make/defs.mk
@@ -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
diff --git a/make/platform.mk b/make/platform.mk
index dc7a3b52..c663da96 100644
--- a/make/platform.mk
+++ b/make/platform.mk
@@ -16,6 +16,12 @@ $(eval $(call try_include,$(JWBDIR)/make/pre-local.mk))
 $(eval $(call try_include,$(TOPDIR)/make/pre-local.mk))
 $(eval $(call try_include,pre-local.mk))
 
+ifeq ($(MAKE_BENCHMARK),true)
+  export SHELL              := /bin/bash $(JWB_SCRIPT_DIR)/timed-make-shell.sh
+else
+  export SHELL              := /bin/bash
+endif
+
 JWB_SCRIPT_DIR              := $(firstword $(wildcard $(JWBDIR)/scripts $(JWBDIR)/bin))
 ifndef GET_OS_SH
   GET_OS_SH                 := $(SHELL) $(JWB_SCRIPT_DIR)/get-os.sh