1 files changed, 1 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 21c80e6bf..82e9cd626 100644
--- a/Makefile
+++ b/Makefile
@@ -1187,3 +1187,4 @@ check-docs::
 #
 check-builtins::
 	./check-builtins.sh
+