diff options
| author | Alice Frosi <afrosi@redhat.com> | 2023-03-28 16:19:36 +0200 |
|---|---|---|
| committer | Alice Frosi <afrosi@redhat.com> | 2023-03-28 16:19:36 +0200 |
| commit | 21c4730f0cb020db3bdff22e347a52d012cc79fe (patch) | |
| tree | dacc95dfd393d07586e4cb432a930f7e0503c95b /Makefile | |
| parent | 667c6db3425881d1201e7ae7a05cef7ca7ca94b1 (diff) | |
| download | seitan-21c4730f0cb020db3bdff22e347a52d012cc79fe.tar seitan-21c4730f0cb020db3bdff22e347a52d012cc79fe.tar.gz seitan-21c4730f0cb020db3bdff22e347a52d012cc79fe.tar.bz2 seitan-21c4730f0cb020db3bdff22e347a52d012cc79fe.tar.lz seitan-21c4730f0cb020db3bdff22e347a52d012cc79fe.tar.xz seitan-21c4730f0cb020db3bdff22e347a52d012cc79fe.tar.zst seitan-21c4730f0cb020db3bdff22e347a52d012cc79fe.zip | |
seitan: use die function to terminate on error
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions