diff options
| author | Alice Frosi <afrosi@redhat.com> | 2023-01-17 09:01:37 +0100 |
|---|---|---|
| committer | Alice Frosi <afrosi@redhat.com> | 2023-01-17 09:57:04 +0100 |
| commit | 3fa20b4300633d769d2be4de332ed57463a8c2c2 (patch) | |
| tree | 39ffe72ed6e28ea528d52df36b836ab8d9645515 /.gitignore | |
| parent | fb32d4ee7dc662439dffc69b11464ea3ba66922e (diff) | |
| download | seitan-3fa20b4300633d769d2be4de332ed57463a8c2c2.tar seitan-3fa20b4300633d769d2be4de332ed57463a8c2c2.tar.gz seitan-3fa20b4300633d769d2be4de332ed57463a8c2c2.tar.bz2 seitan-3fa20b4300633d769d2be4de332ed57463a8c2c2.tar.lz seitan-3fa20b4300633d769d2be4de332ed57463a8c2c2.tar.xz seitan-3fa20b4300633d769d2be4de332ed57463a8c2c2.tar.zst seitan-3fa20b4300633d769d2be4de332ed57463a8c2c2.zip | |
seitan: add flags for pid and input file
Avoid hardcoded values and set the option from command line:
Example:
./seitan -i action -p 1234
Signed-off-by: Alice Frosi <afrosi@redhat.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions