Generated from configure.in
authorkramm <kramm>
Mon, 7 Jan 2002 21:30:31 +0000 (21:30 +0000)
committerkramm <kramm>
Mon, 7 Jan 2002 21:30:31 +0000 (21:30 +0000)
configure

index 0f6a06b..c4fd638 100755 (executable)
--- a/configure
+++ b/configure
@@ -1638,7 +1638,7 @@ else
 #include "stdlib.h"
 int main (int argc, char*argv[])
 {
-    return system("echo `echo 0` > config.tmp2");
+    return system("echo `touch config.tmp2`");
 }
 
 EOF
@@ -1654,7 +1654,7 @@ fi
 
 
 if test "x${OK}" = "xOK";then
-    test -s config.tmp2 || OK=
+    test -e config.tmp2 || OK=
 fi
 
 if test "x${CROSSCOMPILE}" = "x1";then