diff options
author | Omer Ben-Amram <omerbenamram@gmail.com> | 2019-05-23 19:34:45 +0300 |
---|---|---|
committer | Omer Ben-Amram <omerbenamram@gmail.com> | 2019-05-23 19:34:45 +0300 |
commit | bfdc8a19c6f9c1572b296d00edbc724c2df672ed (patch) | |
tree | 175220759146475d2c43cab47f9124e55158223f /release.py | |
parent | 3b60f0d6217b2be4ede56f2c1c681a655a1e3ff0 (diff) |
added release infra
Diffstat (limited to 'release.py')
-rw-r--r-- | release.py | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/release.py b/release.py new file mode 100644 index 0000000..693f064 --- /dev/null +++ b/release.py @@ -0,0 +1,17 @@ +import subprocess +import shlex +import sys + + +def run(cmd: str): + subprocess.run(shlex.split(cmd), check=True) + + +def main(): + level = sys.argv[1] + run("cargo clippy --release") + run(f"cargo release {level}") + + +if __name__ == "__main__": + main() |