[PPL-devel] [GIT] ppl/ppl(master): Removed bogus use of EXTRA_DIST.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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