From 7a183f6e43fe2ee57d51b06665be7692acd55b0a Mon Sep 17 00:00:00 2001 From: Corentin Le Molgat Date: Thu, 22 Feb 2018 10:13:55 +0100 Subject: [PATCH] fix shell command to search fsharp on windows - Must use where instead of which --- makefiles/Makefile.fsharp.mk | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/makefiles/Makefile.fsharp.mk b/makefiles/Makefile.fsharp.mk index ec327f62fc..59644cc959 100644 --- a/makefiles/Makefile.fsharp.mk +++ b/makefiles/Makefile.fsharp.mk @@ -5,13 +5,14 @@ CLEAN_FILES=$(FSHARP_ORTOOLS_DLL_NAME).* # Check for required build tools ifeq ($(SYSTEM), win) FSHARP_COMPILER:=fsc + FSHARP_COMPILER_CHECK:=$(shell where $(FSHARP_COMPILER)) FLAG_PREFIX:=/ else FSHARP_COMPILER:=fsharpc + FSHARP_COMPILER_CHECK:=$(shell which $(FSHARP_COMPILER)) FLAG_PREFIX:=-- endif -FSHARP_COMPILER_CHECK:=$(shell which $(FSHARP_COMPILER)) # Check whether to build Debug or Release version ifeq (${FSHARP_DEBUG}, 1)