diff options
| author | jiseongg <jiseongg301@gmail.com> | 2021-01-16 15:14:06 +0900 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2021-03-05 22:03:13 +0000 |
| commit | 36780583dd78865100114b02627a3418b2d56deb (patch) | |
| tree | 5d8ed323aba94e01211fe7e1439a4c1ca118eed0 /scripts/build | |
| parent | b1ef0c8a7bd433b81c057ecad656608a82a3b7dc (diff) | |
| download | klee-36780583dd78865100114b02627a3418b2d56deb.tar.gz | |
Add cmake custom target `uninstall`
`make uninstall` is enabled. Without this, uninstalling was done manually with `rm` command.
Diffstat (limited to 'scripts/build')
0 files changed, 0 insertions, 0 deletions