Diff for /rpl/Makefile.am between versions 1.67 and 1.68

version 1.67, 2013/03/21 14:13:55 version 1.68, 2013/03/22 10:20:34
Line 12  EXTRA_DIST = LIMITATIONS Licence_CeCILL_ Line 12  EXTRA_DIST = LIMITATIONS Licence_CeCILL_
         rplcas/@COCOA@.tar.gz rplcas/@PARI@.tar.gz rplcas/@GIAC@.tar.gz          rplcas/@COCOA@.tar.gz rplcas/@PARI@.tar.gz rplcas/@GIAC@.tar.gz
   
 all:  all:
     @if [ x$(shell $(MAKE) -v | grep "^GNU Make") != x ]; then \      @if [ x"$(shell $(MAKE) -v | grep '^GNU Make')" != x ]; then \
         echo; \          echo; \
         echo MAKE=$(MAKE); \          echo MAKE=$(MAKE); \
         echo "Please use GNU Make !"; \          echo "Please use GNU Make !"; \

Removed from v.1.67  
changed lines
  Added in v.1.68


CVSweb interface <joel.bertrand@systella.fr>