summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 21c80e6bf7..82e9cd6267 100644
--- a/Makefile
+++ b/Makefile
@@ -1187,3 +1187,4 @@ check-docs::
#
check-builtins::
./check-builtins.sh
+