From e169cf993dbf7515cad3da03993a4d224d6cf181 Mon Sep 17 00:00:00 2001
From: Martin Szulecki
Date: Tue, 28 Jul 2009 10:58:50 +0200
Subject: Move production ready tools into tools/ and do not install the dev/
 ones

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

(limited to 'Makefile.am')

diff --git a/Makefile.am b/Makefile.am
index 6761838..bf4205d 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -1,6 +1,6 @@
 AUTOMAKE_OPTIONS = foreign
 ACLOCAL_AMFLAGS = -I m4
-SUBDIRS = src include fdi swig $(DEV_SUB)
+SUBDIRS = src include fdi swig $(DEV_SUB) tools
 
 DISTCHECK_CONFIGURE_FLAGS = --enable-dev-tools
 
-- 
cgit v1.1-32-gdbae