Install config.h with other headers
authorAndrew Waterman <waterman@cs.berkeley.edu>
Tue, 10 Feb 2015 01:42:19 +0000 (17:42 -0800)
committerAndrew Waterman <waterman@cs.berkeley.edu>
Tue, 10 Feb 2015 01:42:19 +0000 (17:42 -0800)
Makefile.in

index 5ae226f90ed2319d114bb7e3fed3b00186980f36..3f124c89cdadce4b785b12117943d4345b24e4f0 100644 (file)
@@ -337,7 +337,7 @@ check : $(test_outs)
 # Installation
 #-------------------------------------------------------------------------
 
-install-hdrs : $(install_hdrs)
+install-hdrs : $(install_hdrs) config.h
        $(MKINSTALLDIRS) $(install_hdrs_dir)
        for file in $^; \
   do \