diff options
author | Petr Machata <pmachata@redhat.com> | 2010-09-24 18:11:26 +0200 |
---|---|---|
committer | Petr Machata <pmachata@redhat.com> | 2010-09-24 18:11:26 +0200 |
commit | 2e8236968ede6077d4d75782bd02c6c470c3f6b9 (patch) | |
tree | f479d462ac0df48bde09dea87401e1b96e500bdf /dwarflint/check_nodebug.cc | |
parent | ad52525a24de367ae6965bb96905ef3e721def07 (diff) | |
download | elfutils-2e8236968ede6077d4d75782bd02c6c470c3f6b9.tar.gz |
dwarflint: Rename local options to include the check pass prefix
- The original intention was that this is added automatically, but perhaps
the better way to handle it is to make it easy to pick whatever name one
wishes. Short options will share namespace anyway, so one has to be
careful with their naming anyway.
Diffstat (limited to 'dwarflint/check_nodebug.cc')
-rw-r--r-- | dwarflint/check_nodebug.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dwarflint/check_nodebug.cc b/dwarflint/check_nodebug.cc index 03df1122..f658c615 100644 --- a/dwarflint/check_nodebug.cc +++ b/dwarflint/check_nodebug.cc @@ -30,7 +30,7 @@ static void_option ignore_missing ("Don't complain if files have no DWARF at all", - "ignore", 'i'); + "nodebug:ignore", 'i'); class check_nodebug : public check<check_nodebug> |