1 files changed, 2 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index 98b0046300..7c3c78dfc5 100644
--- a/Makefile
+++ b/Makefile
@@ -1881,11 +1881,10 @@ define filechk_timestamp.h
 endef
 
 define filechk_defaultenv.h
-	(grep -v '^#' | \
-	 grep -v '^$$' | \
+	( { grep -v '^#' | grep -v '^$$' || true ; echo '' ; } | \
 	 tr '\n' '\0' | \
 	 sed -e 's/\\\x0\s*//g' | \
-	 xxd -i ; echo ", 0x00" ; )
+	 xxd -i ; )
 endef
 
 define filechk_dt.h