configure
changeset 1298 7ac43d3747c0
parent 1297 7439f29a0476
child 1299 3448ac3f1a5d
     1.1 --- a/configure	Mon Apr 20 19:57:16 2009 +0000
     1.2 +++ b/configure	Mon Apr 20 20:14:53 2009 +0000
     1.3 @@ -420,6 +420,6 @@
     1.4  Now run:
     1.5    make
     1.6  __EOF__
     1.7 -if [ "${LOCAL_set}" = "y" ]; then
     1.8 +if [ "${LOCAL_set}" != "y" ]; then
     1.9      printf "  make install\n"
    1.10  fi