blob: d81b2b9b9adf6f8e878f2fe57fbbe6ed40e31130 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- configure.orig 2012-07-20 08:29:15.000000000 +0700
+++ configure 2013-04-18 23:46:39.000000000 +0700
@@ -25552,7 +25552,7 @@
ACTIVATE_READLINE="$ractivate"
else
ractivate="(use-modules (ice-9 readline)) (activate-readline)"
- if guile -c "$ractivate" >& /dev/null; then
+ if guile -c "$ractivate" > /dev/null 2>&1; then
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: ice-9 readline" >&5
$as_echo "ice-9 readline" >&6; }
ACTIVATE_READLINE="$ractivate"
|
