Add missing header to header list in dev.mk.in

diff --git a/dev.mk.in b/dev.mk.in
index 70af79161b3287dbb7d600880fddf437ba92c927..ebbc97516d7ea13d467be6bf705f7bc8c53fd342 100644 (file)
--- a/dev.mk.in
+++ b/dev.mk.in
@@ -25,7 +25,7 @@ built_dist_files = $(generated_docs)
 headers = \
     ccache.h hashtable.h hashtable_itr.h hashtable_private.h hashutil.h \
     manifest.h mdfour.h counters.h murmurhashneutral2.h getopt_long.h \
-    language.h system.h compopt.h \
+    language.h system.h compopt.h macroskip.h \
     test/framework.h test/suites.h test/util.h
 
 files_to_clean += *.tar.bz2 *.tar.gz *.tar.xz *.xml .deps/*