[PPL-devel] [GIT] ppl/ppl(master): Prefer if-then-else to switch having a single case label.

9 Dec 2011

Module: ppl/ppl
Branch: master
Commit: 17c7d99b34eb7abbb25de24b0ff7a200fb3da598
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17c7d99b34eb7...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Fri Dec  9 14:27:14 2011 +0100
Prefer if-then-else to switch having a single case label.
Detected by ECLAIR service swchlabs.
---
src/ppl-config.cc.in |    7 +------
 1 files changed, 1 insertions(+), 6 deletions(-)

diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in
index 2da0c8e..1f5bc9d 100644
--- a/src/ppl-config.cc.in
+++ b/src/ppl-config.cc.in
@@ -697,13 +697,8 @@ main(int argc, char* argv[]) try {
       if (s.length() > 0)
    s += ' ';
       s += "-lppl";
-      switch (required_interface) {
-      case C:
+      if (required_interface == C)
    s += " -lppl_c";
-	break;
-      default:
-	break;
-      }
       s += " -lgmpxx -lgmp";
     }
     portray("LDFLAGS", s);

    