From 27ade6f5446bdab972b6dfcee6587defb14e807b Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Mon, 9 Feb 2015 17:42:19 -0800
Subject: [PATCH] Install config.h with other headers

---
 Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index 5ae226f..3f124c8 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -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 \
-- 
2.30.2