-
chevalier@alum.wellesley.edu authored
-ticky is the command-line flag for ticky-ticky profiling now, but internally, the -fticky-ticky flag was used to represent whether ticky was on. This led to link errors if the user supplied -fticky-ticky but not -ticky (ticky code would be generated but the wrong RTS library would be passed to the linker). I removed references to -fticky-ticky -- now, only the way flags dictate whether ticky is on, and -fticky-ticky is no longer accepted as a command-line option.
3c506a6c