From 33e3657c15d6c760206aeaca10b5690af4a78223 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 30 Sep 2011 23:01:58 +0000
Subject: interfaces fixes and cleanups...and examples of each interface!

---
 configure.ac | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'configure.ac')

diff --git a/configure.ac b/configure.ac
index ea7d4f7ae..b2badafbb 100644
--- a/configure.ac
+++ b/configure.ac
@@ -954,7 +954,7 @@ AC_SUBST(MAN_DATE)
 AC_CONFIG_FILES([
   Makefile.builds
   Makefile]
-  m4_esyscmd([find contrib src test -name Makefile.am | sort | sed 's,\.am$,,'])
+  m4_esyscmd([find contrib src test examples -name Makefile.am | sort | sed 's,\.am$,,'])
 )
 
 CVC4_CONFIG_FILE_ONLY_IF_CHANGED([src/util/rational.h])
-- 
cgit v1.2.3