GNU bug report logs - #47533
bug in dejagnu 1.6.3-rc2

Previous Next

Full log

View this message in rfc822 format

From: Tom Tromey <tromey <at> adacore.com>
To: 47533 <at> debbugs.gnu.org
Subject: bug#47533: bug in dejagnu 1.6.3-rc2
Date: Wed, 31 Mar 2021 14:37:16 -0600

I tried dejagnu 1.6.3-rc2.  I ran "runtest" on a subset of the gdb test
suite, and this worked well.  Thank you.

I tried the new "dejagnu" command but noticed two things.

First in --help:

Usage: dejagnu <command> [--help|options...]
Usage: dejagnu --help
Usage: dejagnu --version
        --help			Print help text
        --version		Print DejaGnu version

The GNU norm is to use upper-case for "metasyntactic variables", so
normally it would say "dejagnu COMMAND [...]"

Second, either --help or running it without options should probably show
the available commands.

Third, the use of tabs in the output makes it a bit weird to quote.

thanks,
Tom

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.