treewide: Make explicit that 'dev' output of readline is used

2016-05-19 10:03:35 +02:00
parent e0de3b1dc5
commit 8d473f107c
10 changed files with 10 additions and 10 deletions
@@ -100,7 +100,7 @@
      "--with-libgmp-prefix=${gmp.dev}"

      # Same for these (?).
-      "--with-libreadline-prefix=${readline}"
+      "--with-libreadline-prefix=${readline.dev}"
      "--with-libunistring-prefix=${libunistring}"

      # See below.