configure
changeset 8271 534b8f81d519
parent 8236 751605725282
child 8282 484d2404c472
--- a/configure	Sat Mar 01 11:05:58 2014 -0800
+++ b/configure	Sat Mar 01 11:39:39 2014 -0800
@@ -22808,7 +22808,7 @@
             have_loadso=yes
         fi
         # Set up the system libraries we need
-        if  -f /lib/w32api/libuuid.a ; then
+        if test -f /lib/w32api/libuuid.a; then
             LIBUUID=/lib/w32api/libuuid.a
         else
             LIBUUID=-luuid