Commit 8277f2dc authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Allow -ticky and -prof together

The two used to be incompatible, but they aren't any longer.

In fact, -ticky should not be a 'way' any more, and doing that
is on Simon M's todo list, but this patch takes us a little
step closer.

I'm not sure this is worth merging to the 6.12 branch.
parent 75ea07df
......@@ -336,6 +336,11 @@ allowed_combination way = and [ x `allowedWith` y
_ `allowedWith` WayDyn = True
WayDyn `allowedWith` _ = True
-- ticky is (now) allowed with everything
-- Indeed, ticky should no longer be a 'way' at all
_ `allowedWith` WayTicky = True
WayTicky `allowedWith` _ = True
-- debug is allowed with everything
_ `allowedWith` WayDebug = True
WayDebug `allowedWith` _ = True
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment