document dots in the keys in the map, drop empty elems
[pdns-pipe-nmc.git] / build
diff --git a/build b/build
index 319e038d4041bdf6992342cf6332bde4b05c6e1d..c77b02430371ca51ce57b72380f889e7f321a99d 100755 (executable)
--- a/build
+++ b/build
@@ -5,7 +5,8 @@ sfx="linux-glibc6.`uname -m`.`date +%Y-%m-%d`.git-`git rev-parse --verify HEAD |
 echo "Making $file.$sfx"
 
 # tried this:
-#ghc --make -static -optc-static -optl-shared-libgcc -optl-static -optl-pthread
+#ghc --make -static -optc-static -optl-shared-libgcc -optl-static \
+#           -optl-pthread -pgml g++ "$file"
 # but cannot make it "only glibc is shared". And with static glibc,
 # getaddrinfo does not work on systems with different glibc.
 ghc --make "$file"