diff options
| author | Mathieu Lirzin <mthl@gnu.org> | 2016-06-10 22:48:40 +0200 |
|---|---|---|
| committer | Mathieu Lirzin <mthl@gnu.org> | 2016-06-10 23:39:12 +0200 |
| commit | d3487acc4286c7cc36547b3329dabd8749a0dd35 (patch) | |
| tree | 45187c500ccbb3e3ab31d88c6fe262565dc57b4d /src | |
| parent | 87a79ae33d82b69133aa011da41afbf3d1f9e98d (diff) | |
| download | cuirass-d3487acc4286c7cc36547b3329dabd8749a0dd35.tar cuirass-d3487acc4286c7cc36547b3329dabd8749a0dd35.tar.gz | |
cuirass: Add --file command line option.
bin/cuirass.in (%options, show-help): Add --file option.
(evaluate): Add SPEC argument.
(main): Adjust accordingly.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions