pull/723/merge
David Yeske 2025-04-06 21:37:04 +00:00 committed by GitHub
commit 1df7498c7d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 1 deletions

View File

@ -16,7 +16,8 @@ SYMBOL_PREFIX :=
#
# Locations of tools
#
HOST_CC := gcc
CC ?= gcc
HOST_CC := $(CC)
RM := rm -f
TOUCH := touch
MKDIR := mkdir