gcc48: Reduce diff to gcc49

2017-11-29 23:09:17 +02:00
parent 77b409b2cf
commit 825b953bf5
2 changed files with 14 additions and 14 deletions
@@ -430,7 +430,7 @@ stdenv.mkDerivation ({
      optional langJava "--with-ecj-jar=${javaEcj.crossDrv}" ++
      optional javaAwtGtk "--enable-java-awt=gtk" ++
      optional (langJava && javaAntlr != null) "--with-antlr-jar=${javaAntlr.crossDrv}" ++
-      optional (cloog != null) "--with-cloog=${cloog.crossDrv}" "--enable-cloog-backend=isl" ++
+      optionals (cloog != null) ["--with-cloog=${cloog.crossDrv}" "--enable-cloog-backend=isl"] ++
      [
        "--with-gmp=${gmp.crossDrv}"
        "--with-mpfr=${mpfr.crossDrv}"