-
Notifications
You must be signed in to change notification settings - Fork 842
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix order of runtime profiling args for tests (and benchmarks?) #2399
Comments
I've flipped it around so that the extra opts get put at the beginning so they can be overridden.
Should fix it, right? |
I don't understand why but I can't reproduce the fix?! 😕
(That's the current HEAD) |
Strange, works for me! Longshot, but maybe a |
I'm using a fresh project:
|
Figured it out! The options before
Before I couldn't reproduce the issue because I was passing I've fixed it by applying this transformation while converting |
Nice sleuthing! 👍 |
This behaves as if only
+RTS -p
was passed, when actually the manually specified-P
should override the-p
.I didn't check any benchmarks but I'd suspect that the behaviour would be the same.
The text was updated successfully, but these errors were encountered: