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