Module: ppl/ppl Branch: master Commit: 70025f8ab031445a6f590ab92dbc7e43fc8b24af URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70025f8ab0314...

Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 24 12:23:10 2010 +0000

Added the generated Termination files to make clean.

---

.../Java/parma_polyhedra_library/Makefile.am | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/interfaces/Java/parma_polyhedra_library/Makefile.am b/interfaces/Java/parma_polyhedra_library/Makefile.am index 73c0afa..2f59201 100644 --- a/interfaces/Java/parma_polyhedra_library/Makefile.am +++ b/interfaces/Java/parma_polyhedra_library/Makefile.am @@ -217,6 +217,7 @@ $(fixed_java_cxx_headers_sources) \ java_classes.stamp \ java_cxx_headers.stamp \ source_generation.stamp \ +Termination.java \ Bounded_Integer_Type_Overflow.class \ Bounded_Integer_Type_Representation.class \ Bounded_Integer_Type_Width.class \ @@ -259,6 +260,7 @@ Poly_Con_Relation.class \ Poly_Gen_Relation.class \ PPL_Object.class \ Relation_Symbol.class \ +Termination.class \ Timeout_Exception.class \ Variable.class \ Variables_Set.class