-
Notifications
You must be signed in to change notification settings - Fork 294
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix profile options argument: allow disabling selected options
Summary: After enabling detailed profiling by default in D49785828, --profile-options becomes unusable because the logic of --no-profile-detailed is all-or-nothing. Fix this by changing --profile-options to --disable-profile-options. Most of the changes are auto formatting. (I marked the logic changes with diff comments below) Reviewed By: davidberard98 Differential Revision: D50524522 fbshipit-source-id: a74624c6f9b0d1619804161f7c132687baf82fd4
- Loading branch information
1 parent
2f9b20e
commit bd0e8d5
Showing
1 changed file
with
175 additions
and
56 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters