# HG changeset patch
# User wenzelm
# Date 1602413328 -7200
# Node ID 90c6e9a83c1e5733942c2b3831d513c2317ecf59
# Parent  efc5ae4b4ac87eec391bc9025dd25f1c4e9b3f71
tuned;

diff -r efc5ae4b4ac8 -r 90c6e9a83c1e src/Pure/Admin/build_csdp.scala
--- a/src/Pure/Admin/build_csdp.scala	Sun Oct 11 12:14:58 2020 +0200
+++ b/src/Pure/Admin/build_csdp.scala	Sun Oct 11 12:48:48 2020 +0200
@@ -20,9 +20,11 @@
     val changed: List[(String, String)] =
       List("CFLAGS" -> CFLAGS, "LIBS" -> LIBS).filter(p => p._2.nonEmpty)
 
-    def print: String =
-      if (changed.isEmpty) ""
-      else "  * " + platform + ":\n" + changed.map(p => "    " + p._1 + "=" + p._2).mkString("\n")
+    def print: Option[String] =
+      if (changed.isEmpty) None
+      else
+        Some("  * " + platform + ":\n" + changed.map(p => "    " + p._1 + "=" + p._2)
+          .mkString("\n"))
 
     def change(path: Path)
     {
@@ -163,7 +165,8 @@
 
 Makefile flags have been changed for various platforms as follows:
 
-""" + build_flags.map(_.print).mkString("\n\n") + """
+""" + build_flags.flatMap(_.print).mkString("\n\n") + """
+
 The distribution has been built like this:
 
     cd src && make