diff --git a/Cleanfile b/Cleanfile
index 77d4011ff3..f31008e0e8 100644
--- a/Cleanfile
+++ b/Cleanfile
@@ -21,9 +21,6 @@ ifeq ($(wildcard $(_SDK_SRC_ROOT)Cleanfile),)
    _SDK_SRC_ROOT = $(find_sdk_src_root)
 endif
 
-$(_SDK_SRC_ROOT)Cleanfile: ;
-$(_SDK_SRC_ROOT)crossplatform.mk: ;
-
 include $(_SDK_SRC_ROOT)crossplatform.mk
 
 subdirs := $(sort $(filter-out .configs obj __pycache__,$(hs_ls_dir)))
@@ -64,5 +61,3 @@ ifdef _SDK_SRC_ROOT
 endif
 
 $(MAKEFILE_LIST): ;
-$(SOURCES): ;
-$(RESOURCES): ;
diff --git a/crossplatform.mk b/crossplatform.mk
index be269c837d..b00021c53c 100644
--- a/crossplatform.mk
+++ b/crossplatform.mk
@@ -3,6 +3,12 @@ $(info Using config.mk configuration file.)
 include config.mk
 endif
 
+CROSSPLATFORM_MK := defined
+
+ifndef VERBOSE
+MAKEFLAGS += --no-print-directory
+endif
+
 # HOST PLATFORM DETECTION
 ifeq ($(OS),Windows_NT)
    HOST_PLATFORM := win32
@@ -312,7 +318,7 @@ endif
 ifeq ($(D),1)
    DEBUG_IS_ON := defined
 endif
-addtolistfile = $(if $(1),@$(call echo,$(1)) >> $(2),)
+addtolistfile = $(if $(1),@$(call echo,$(1))>> $(2),)
 ifdef WIN_SHELL_COMMANDS
    cd = @cd
    nullerror = 2>NUL