From 327f29858fd69333127a2de9c781e5a9c6b37661 Mon Sep 17 00:00:00 2001
From: Valentin Churavy <v.churavy@gmail.com>
Date: Thu, 24 Sep 2020 09:41:49 -0400
Subject: [PATCH] use BUILD_EXE for flisp

(cherry picked from commit 98ff5945a025a36a3b8005e4f7b0a9dc0a21776d)
---
 src/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Makefile b/src/Makefile
index 38d7cd111c7e8..0de23588bcfab 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -143,8 +143,8 @@ FLISPDIR := $(BUILDDIR)/flisp/host
 else
 FLISPDIR := $(BUILDDIR)/flisp
 endif
-FLISP_EXECUTABLE_debug := $(FLISPDIR)/flisp-debug$(EXE)
-FLISP_EXECUTABLE_release := $(FLISPDIR)/flisp$(EXE)
+FLISP_EXECUTABLE_debug := $(FLISPDIR)/flisp-debug$(BUILD_EXE)
+FLISP_EXECUTABLE_release := $(FLISPDIR)/flisp$(BUILD_EXE)
 ifeq ($(OS),WINNT)
 FLISP_EXECUTABLE := $(FLISP_EXECUTABLE_release)
 else