diff --git a/Makefile b/Makefile index 355a404e04..50a9f623b2 100644 --- a/Makefile +++ b/Makefile @@ -419,6 +419,8 @@ unexport TERMINFO unexport MACHINE unexport O unexport GCC_COLORS +unexport PLATFORM +unexport OS GNU_HOST_NAME := $(shell support/gnuconfig/config.guess)