diff --git a/scripts/Makefile.lib b/scripts/Makefile.lib
index c3c6c941bef..a2b3b2e6387 100644
--- a/scripts/Makefile.lib
+++ b/scripts/Makefile.lib
@@ -718,7 +718,7 @@ endef
 # Use filechk to avoid rebuilds when a header changes, but the resulting file
 # does not
 define filechk_offsets
-	(set -e; \
+	( \
 	 echo "#ifndef $2"; \
 	 echo "#define $2"; \
 	 echo "/*"; \