From a297c8c8ad379d5f7db806d4019283b621525577 Mon Sep 17 00:00:00 2001
From: Uwe Bonnes <bon@elektron.ikp.physik.tu-darmstadt.de>
Date: Sun, 22 Aug 2021 19:20:26 +0200
Subject: [PATCH] hosted/Makefile.inc: Use gcc to build hosted, if not advised
 otherwise

---
 src/platforms/hosted/Makefile.inc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/platforms/hosted/Makefile.inc b/src/platforms/hosted/Makefile.inc
index b1322358..1aebd811 100644
--- a/src/platforms/hosted/Makefile.inc
+++ b/src/platforms/hosted/Makefile.inc
@@ -1,3 +1,4 @@
+CC ?= gcc
 SYS = $(shell $(CC) -dumpmachine)
 CFLAGS += -DENABLE_DEBUG -DPLATFORM_HAS_DEBUG
 CFLAGS +=-I ./target -I./platforms/pc