diff options
| author | fanquake <fanquake@gmail.com> | 2021-03-15 10:41:30 +0800 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2021-03-15 10:41:30 +0800 |
| commit | 57e980d13ca488031bde6ef197cf34d493d36796 (patch) | |
| tree | c9e6cfe95fcf86a5618bda499e72b570fdb2efcc /src/bench/duplicate_inputs.cpp | |
| parent | 3c631917f3e0da84ee48295b7d2e93bc202bae0c (diff) | |
scripted-diff: remove Optional & nullopt
-BEGIN VERIFY SCRIPT-
git rm src/optional.h
sed -i -e 's/Optional</std::optional</g' $(git grep -l 'Optional<' src)
sed -i -e 's/{nullopt}/{std::nullopt}/g' $(git grep -l 'nullopt' src)
sed -i -e 's/ nullopt;/ std::nullopt;/g' $(git grep -l 'nullopt' src)
sed -i -e 's/ nullopt)/ std::nullopt)/g' $(git grep -l 'nullopt' src)
sed -i -e 's/(nullopt)/(std::nullopt)/g' $(git grep -l 'nullopt' src)
sed -i -e 's/ nullopt,/ std::nullopt,/g' $(git grep -l 'nullopt' src)
sed -i -e 's/? nullopt :/? std::nullopt :/g' $(git grep -l 'nullopt' src)
sed -i -e 's/: nullopt}/: std::nullopt}/g' $(git grep -l 'nullopt' src)
sed -i -e '/optional.h \\/d' src/Makefile.am
sed -i -e '/#include <optional.h>/d' src/test/fuzz/autofile.cpp src/test/fuzz/buffered_file.cpp src/test/fuzz/node_eviction.cpp
sed -i -e 's/#include <optional.h>/#include <optional>/g' $(git grep -l '#include <optional.h>' src)
-END VERIFY SCRIPT-
Diffstat (limited to 'src/bench/duplicate_inputs.cpp')
0 files changed, 0 insertions, 0 deletions