• chevalier@alum.wellesley.edu's avatar
    Remove references to -fticky-ticky flag · 3c506a6c
    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.
StaticFlags.hs 19.3 KB