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@