aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2026-06-07 15:16:26 +0200
committerTristan Riehs <tristan.riehs@inria.fr>2026-06-07 15:16:26 +0200
commit9f0b0355e8836a79dc1031f18744ff1945991981 (patch)
tree31e97eed77fe50460381e2f3290007884707f5f6 /Makefile
parente40057de81b6fcc3d884d72cbbbe54d9177b4de5 (diff)
Fix call to parse_args after option parsing
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions