=================================================================== RCS file: /home/cvs/OpenXM/src/util/make-configure,v retrieving revision 1.3 retrieving revision 1.5 diff -u -p -r1.3 -r1.5 --- OpenXM/src/util/make-configure 2004/06/23 23:04:10 1.3 +++ OpenXM/src/util/make-configure 2019/01/28 04:51:51 1.5 @@ -1,9 +1,9 @@ #!/bin/sh -# $OpenXM: OpenXM/src/util/make-configure,v 1.2 2004/06/23 22:49:17 takayama Exp $ -if test ! -f ./.configure_done +# $OpenXM: OpenXM/src/util/make-configure,v 1.4 2004/06/30 22:42:33 takayama Exp $ +if test ! -f ./.configure_done -o ! -f ./Makefile then # make -f Makefile.conf echo "--prefix=`cd ../../../OpenXM ; pwd`" - ./configure --prefix="`cd ../../../OpenXM ; pwd`" + ./configure --prefix="`cd ../../../OpenXM ; pwd`" --enable-shared fi touch .configure_done