-
Cristian Lalescu authored
cmake config can no toggle the use of "NDEBUG" or "USE_TIMINGOUTPUT" compiler flags, hence source files and/or .bashrc no longer need to be changed themselves. I'm not sure the mechanism survives very nicely for executable compilation, but it's better to have it and figure that out later.
8459bafa