libcsp-rust/clib/clone-csp.sh
2024-06-01 12:20:07 +02:00

4 lines
91 B
Bash
Executable File

#!/bin/bash
git clone https://github.com/us-irs/libcsp.git
git checkout const-correctness