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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 12 09:10:15 2012 +0100

Updated.

---

Watchdog/compile | 33 +++--- Watchdog/config.guess | 50 ++++++---- Watchdog/config.sub | 102 ++++++++++++------ Watchdog/depcomp | 74 ++++++++++++-- Watchdog/install-sh | 23 +++-- Watchdog/ltmain.sh | 95 ++++++++++------- Watchdog/m4/libtool.m4 | 265 ++++++++++++++++++++++++++++++++++++---------- Watchdog/m4/ltoptions.m4 | 19 +++- Watchdog/m4/ltversion.m4 | 10 +- Watchdog/missing | 53 +--------- compile | 33 +++--- config.guess | 50 ++++++---- config.sub | 102 ++++++++++++------ depcomp | 74 ++++++++++++-- install-sh | 23 +++-- ltmain.sh | 95 ++++++++++------- m4/libtool.m4 | 265 ++++++++++++++++++++++++++++++++++++---------- m4/ltoptions.m4 | 19 +++- m4/ltversion.m4 | 10 +- missing | 53 +--------- 20 files changed, 970 insertions(+), 478 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=4f263321d...