gotcha, thanks. is it a heavy lift to provide users with an on/off toggle? i could submit a feature request to bugzilla, but won't if it's unlikely to happen.. (i don't have a good sense of how hard that would be to implement) thanks!!

On Tue, Feb 16, 2016 at 11:08 AM, Sjoerd Mullender <sjoerd@acm.org> wrote:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

On 16/02/16 16:49, Anthony Damico wrote:
> might help with future testing..thanks all

Only by recompiling (including rerunning configure).

- --
Sjoerd Mullender
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJWw0mMAAoJEISMxT6LrWYg0S0IAMTYOhlNn9/07j8c/2WgjP7Z
K4pi1zi8s6FxhcY06qrkkae6m0A/ke0+5Zx1OuSVD50rqzXGoP4I/Afo51ACDuxK
MAkYn1gA6NTaADV9y5dmcFFChr3SN8Yz5kdXNhEelsYSn5ENxKNbG6XtMmZ0iI5m
qyqRLEOrSgGXSfRoJLTrV+Qx5eo5vqDDCszZI/ykp+2ymQm9yX2QYT7PE5y5bGQT
nRFtcNQyGnNvC2tP9W4wE3Qeza7DS2rm3FKi7vSVlN8mn5Wwewfm50olVXzJ/Hqu
iJPoRRz53oVluhI/PuN0se2HMzFtwzQTqqABi4TdIC+ITZiDW89aKCXKWomPT40=
=LBzy
-----END PGP SIGNATURE-----
_______________________________________________
users-list mailing list
users-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/users-list