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