Changeset: e29288fc42cb for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=e29288fc42cb
Modified Files:
        debian/rules
Branch: Aug2018
Log Message:

Remove unused options from configure.


diffs (19 lines):

diff --git a/debian/rules b/debian/rules
--- a/debian/rules
+++ b/debian/rules
@@ -22,15 +22,12 @@ override_dh_auto_configure:
        --enable-fits=no \
        --enable-gdk=yes \
        --enable-geom=yes \
-       --enable-gsl=yes \
-       --enable-instrument=no \
        --enable-lidar=yes \
        --enable-mapi=yes \
        --enable-monetdb5=yes \
        --enable-netcdf=no \
        --enable-odbc=yes \
        --enable-optimize=yes \
-       --enable-profile=no \
        --enable-pyintegration=yes \
        --enable-rintegration=yes \
        --enable-shp=no \
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list

Reply via email to