diff options
| author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2019-07-27 10:48:25 +0300 |
|---|---|---|
| committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2019-07-27 15:05:14 +0300 |
| commit | 1b4b9422cad28d1bead24ff5fd472536954cfaf9 (patch) | |
| tree | 32600f1aff34a01617d445fd598fb1b15099bf2e /src/bench/verify_script.cpp | |
| parent | 265c1b58d89b7b6fb30468ba402d7f75cc59a510 (diff) | |
scripted-diff: Use Flags enum in AddArg()
-BEGIN VERIFY SCRIPT-
sed -i 's/const bool debug_only,/unsigned int flags, &/' src/util/system.h src/util/system.cpp
sed -i -E 's/(true|false), OptionsCategory::/ArgsManager::ALLOW_ANY, &/' $(git grep --files-with-matches 'AddArg(' src)
-END VERIFY SCRIPT-
Diffstat (limited to 'src/bench/verify_script.cpp')
0 files changed, 0 insertions, 0 deletions