[GIT] ppl/ppl(master): Removed bogus use of EXTRA_DIST.
Module: ppl/ppl Branch: master Commit: abfdcd61e39ddd20bdaaca51b9e3784c0a740db6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abfdcd61e39dd...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 13 17:49:43 2012 +0100
Removed bogus use of EXTRA_DIST.
---
tests/Concrete_Expression/Makefile.am | 1 - 1 files changed, 0 insertions(+), 1 deletions(-)
diff --git a/tests/Concrete_Expression/Makefile.am b/tests/Concrete_Expression/Makefile.am index 54b1af8..428d71d 100644 --- a/tests/Concrete_Expression/Makefile.am +++ b/tests/Concrete_Expression/Makefile.am @@ -66,7 +66,6 @@ polyhedron2
BUGS =
-EXTRA_DIST = $(ALL_TESTS) $(BUGS)
# There are platforms where no floating-point type is supported. if SUPPORTED_SOME_FLOATING_POINT_TYPE
participants (1)
-
Roberto Bagnara