From ced34256415b7c37c3eca11cb01fa7eb91cc518d Mon Sep 17 00:00:00 2001
From: Michael Soegtrop
Date: Sun, 27 Dec 2020 11:50:11 +0100
Subject: CoqIDE: Fix CC reference in makefile

---
 Makefile.ide | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.ide b/Makefile.ide
index 9964a474f8..54bf0b6a4e 100644
--- a/Makefile.ide
+++ b/Makefile.ide
@@ -298,7 +298,7 @@ $(COQIDEAPP):$(COQIDEAPP)/Contents/Resources
 ###########################################################################
 
 # This is either x86_64-w64-mingw32 or i686-w64-mingw32
-TARGET_ARCH=$(shell $CC -dumpmachine)
+TARGET_ARCH=$(shell $(CC) -dumpmachine)
 
 %.o: %.rc
 	$(SHOW)'WINDRES    $<'
-- 
cgit v1.2.3