diff options
| author | Alice Frosi <afrosi@redhat.com> | 2023-08-31 15:41:41 +0200 |
|---|---|---|
| committer | Alice Frosi <afrosi@redhat.com> | 2023-08-31 15:41:41 +0200 |
| commit | 75738f0ac9cde3b1aaebd6d700cb9329a419555e (patch) | |
| tree | cc1dd6262bad0c126546b19d7a3465cc89831373 /Makefile | |
| parent | 143e0d2118f9cd038a9d2f29abfe8179d05e7824 (diff) | |
| download | seitan-75738f0ac9cde3b1aaebd6d700cb9329a419555e.tar seitan-75738f0ac9cde3b1aaebd6d700cb9329a419555e.tar.gz seitan-75738f0ac9cde3b1aaebd6d700cb9329a419555e.tar.bz2 seitan-75738f0ac9cde3b1aaebd6d700cb9329a419555e.tar.lz seitan-75738f0ac9cde3b1aaebd6d700cb9329a419555e.tar.xz seitan-75738f0ac9cde3b1aaebd6d700cb9329a419555e.tar.zst seitan-75738f0ac9cde3b1aaebd6d700cb9329a419555e.zip | |
seitan: small fixes
Fixes:
- return an error message in do_clone instead of exit
- check if the type of context is out-of-bound
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions