changeset 401 | 6cd204d05600 |
parent 396 | e1a24791d192 |
child 407 | 443f6f7abcfb |
--- a/build/mkcmake.sh Fri Jan 16 22:03:49 2009 +0200 +++ b/build/mkcmake.sh Fri Jan 16 22:06:51 2009 +0200 @@ -38,6 +38,6 @@ -DCMAKE_BUILD_TYPE=${BUILD_TYPE} \ -DCMAKE_INSTALL_PREFIX=$INSTALL_PREFIX \ -DCMAKE_CXX_FLAGS="-Wall -Wextra -Wconversion" \ -# -DDOXYGEN_HOME=${DOXYGEN_HOME} \ ${EXTRA_OPTS} +# -DDOXYGEN_HOME=${DOXYGEN_HOME} \