diff options
author | ArthurSonzogni <sonzogniarthur@gmail.com> | 2022-09-25 14:40:22 +0300 |
---|---|---|
committer | ArthurSonzogni <sonzogniarthur@gmail.com> | 2022-09-25 15:55:44 +0300 |
commit | 91292c8ed411f928ee7b9f6a3981067e317f0083 (patch) | |
tree | 47df8fd9d8b1eca2e1c90d190fe647de0732e805 | |
parent | 24aa551505250ef69d7c918bd1e4f165907a35e8 (diff) |
Fix multi-headers.
-rwxr-xr-x | update.py | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -75,6 +75,9 @@ for tag, url, body in release_url_map[::-1]: subprocess.call(['git', 'add', './include/nlohmann/json.hpp']) if has_json_fwd: subprocess.call(['git', 'add', './include/nlohmann/json_fwd.hpp']) + # Update the nlohman json options. + subprocess.call([ 'sed', '-i', '-e', 's/library.\" ON/library.\" OFF/g', './CMakeLists.txt']) + subprocess.call(['git', 'add', './CMakeLists.txt']) # Update the README.md: subprocess.call([ 'sed', '-i', '-e', 's/GIT_TAG .*)/GIT_TAG '+ tag + ')/g', './README.md']) |