+--prefix=/usr

  - set by ATS, I don't care

diff --git a/do b/do
index 742b7e9..ac17196 100755 (executable)
--- a/do
+++ b/do
@@ -7,7 +7,7 @@ set -ex
 rm -f config.cache
 autoconf
 # rm -f config.cache
 rm -f config.cache
 autoconf
 # rm -f config.cache

-./configure --without-x \
+./configure --prefix=/usr --without-x \

                `if [ -n "$enable_debug" ];then echo "--enable-debug --enable-xdebug";fi`
 make clean
 make
                `if [ -n "$enable_debug" ];then echo "--enable-debug --enable-xdebug";fi`
 make clean
 make