added DO_NOT_COMPILE facility if some features are not available in the system
(eg boost 1.32) fixed CVS build failure
tools/configure.in.in
0 → 100644
Please register or sign in to comment
To receive notifications about scheduled maintenance, please subscribe to the mailing-list gitlab-operations@sympa.ethz.ch. You can subscribe to the mailing-list at https://sympa.ethz.ch
(eg boost 1.32) fixed CVS build failure