[PPL-devel] [GIT] ppl/ppl(master): Added `Watchdog' to `SUBDIRS'.

26 Feb 2012

Module: ppl/ppl
Branch: master
Commit: f4005b141d00e70a247d006cc9d78f2f52bf1e1b
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4005b141d00e...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sun Feb 26 09:24:29 2012 +0100
Added `Watchdog' to `SUBDIRS'.
---
tests/Makefile.am |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/Makefile.am b/tests/Makefile.am
index 12ecfec..d34d29c 100644
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -34,8 +34,8 @@ MIP_Problem \
 Octagonal_Shape \
 BD_Shape \
 Polyhedron \
-Grid
-#Ask_Tell
+Grid \
+Watchdog
AM_CPPFLAGS = -I$(top_builddir)/src -I$(top_srcdir)/src @extra_includes@

    