use /dev/null as cache

diff --git a/testsuite/config/unix.exp b/testsuite/config/unix.exp
index ef45d601f0207800b28ec5cf3489638d3fa9fe72..cf4f08afdc4ef2dbea3171e1c589306fa50340b1 100644 (file)
--- a/testsuite/config/unix.exp
+++ b/testsuite/config/unix.exp
@@ -89,9 +89,9 @@ proc autoconf_load { args } {
     }
 
     # Capture only stderr in exec_output, not "creating Makefile" etc.
-    catch "exec $args >/dev/null" exec_output
+    catch "exec $args --cache=/dev/null >/dev/null" exec_output
     if $verbose>1 then {
-       send_user "Executed $args\n"
+       send_user "Executed $args --cache=/dev/null\n"
     }
     if ![string match "" $exec_output] then {
        fail "$args, problem with executing"