summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile.maint1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.maint b/Makefile.maint
index b7ce6fe29..3a40d18a2 100644
--- a/Makefile.maint
+++ b/Makefile.maint
@@ -147,6 +147,7 @@ header_regexp = \
|ctype\
|dirent\
|errno\
+ |exitfail\
|fcntl\
|inttypes\
|limits\