diff --git a/scripts/Makefile.lib b/scripts/Makefile.lib
index 8fe4468f9bda66a17bc78cee69ff9a4cb9c1e1e5..ae3ae97f0d5e0c95fe5f67fe2204aede1c364d91 100644
--- a/scripts/Makefile.lib
+++ b/scripts/Makefile.lib
@@ -406,7 +406,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 "/*"; \