From unknown Tue Jun 17 01:38:30 2025 X-Loop: help-debbugs@gnu.org Subject: bug#47533: bug in dejagnu 1.6.3-rc2 Resent-From: Tom Tromey Original-Sender: "Debbugs-submit" Resent-CC: bug-dejagnu@gnu.org Resent-Date: Wed, 31 Mar 2021 21:41:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 47533 X-GNU-PR-Package: dejagnu X-GNU-PR-Keywords: To: 47533@debbugs.gnu.org X-Debbugs-Original-To: bug-dejagnu@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.16172268032815 (code B ref -1); Wed, 31 Mar 2021 21:41:02 +0000 Received: (at submit) by debbugs.gnu.org; 31 Mar 2021 21:40:03 +0000 Received: from localhost ([127.0.0.1]:55673 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lRiZG-0000j9-Li for submit@debbugs.gnu.org; Wed, 31 Mar 2021 17:40:02 -0400 Received: from lists.gnu.org ([209.51.188.17]:50140) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lRhab-0007hf-3N for submit@debbugs.gnu.org; Wed, 31 Mar 2021 16:37:21 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:52558) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lRhaa-00037Z-SK for bug-dejagnu@gnu.org; Wed, 31 Mar 2021 16:37:20 -0400 Received: from rock.gnat.com ([205.232.38.15]:47645) by eggs.gnu.org with esmtps (TLS1.1:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.90_1) (envelope-from ) id 1lRhaZ-0007YJ-94 for bug-dejagnu@gnu.org; Wed, 31 Mar 2021 16:37:20 -0400 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id C612756090; Wed, 31 Mar 2021 16:37:17 -0400 (EDT) X-Virus-Scanned: Debian amavisd-new at gnat.com Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id pLLkgAeFxpYM; Wed, 31 Mar 2021 16:37:17 -0400 (EDT) Received: from murgatroyd (71-211-182-15.hlrn.qwest.net [71.211.182.15]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by rock.gnat.com (Postfix) with ESMTPSA id 81F885608F; Wed, 31 Mar 2021 16:37:17 -0400 (EDT) From: Tom Tromey X-Attribution: Tom Date: Wed, 31 Mar 2021 14:37:16 -0600 Message-ID: <87a6qjrrer.fsf@tromey.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=205.232.38.15; envelope-from=tromey@adacore.com; helo=rock.gnat.com X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Mailman-Approved-At: Wed, 31 Mar 2021 17:40:01 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) 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 [--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 From unknown Tue Jun 17 01:38:30 2025 X-Loop: help-debbugs@gnu.org Subject: bug#47533: bug in dejagnu 1.6.3-rc2 Resent-From: Jacob Bachmeyer Original-Sender: "Debbugs-submit" Resent-CC: bug-dejagnu@gnu.org Resent-Date: Thu, 01 Apr 2021 01:24:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 47533 X-GNU-PR-Package: dejagnu X-GNU-PR-Keywords: To: Tom Tromey Cc: 47533@debbugs.gnu.org Reply-To: jcb62281@gmail.com Received: via spool by 47533-submit@debbugs.gnu.org id=B47533.161724020524169 (code B ref 47533); Thu, 01 Apr 2021 01:24:02 +0000 Received: (at 47533) by debbugs.gnu.org; 1 Apr 2021 01:23:25 +0000 Received: from localhost ([127.0.0.1]:55796 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lRm3R-0006Hl-Dz for submit@debbugs.gnu.org; Wed, 31 Mar 2021 21:23:25 -0400 Received: from mail-ot1-f52.google.com ([209.85.210.52]:38835) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lRm3P-0006HZ-TV for 47533@debbugs.gnu.org; Wed, 31 Mar 2021 21:23:24 -0400 Received: by mail-ot1-f52.google.com with SMTP id w21-20020a9d63950000b02901ce7b8c45b4so697390otk.5 for <47533@debbugs.gnu.org>; Wed, 31 Mar 2021 18:23:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=message-id:date:from:reply-to:user-agent:mime-version:to:cc:subject :references:in-reply-to:content-transfer-encoding; bh=NwU9b1IIsXxAPLm7IQFHDxhcX4jmQE5sHK2dMefppHw=; b=ry62n05vsFf3JYkLZl+QC0CCT4sUuXOMldO/Q+KRuuWUQpBZNzasCgRAm8lNEEQ6KG tQRhD6frdpB9m2NGRNO0/spQd416C4gXAECedvLu0sN5xmBAy/ktd9EO5QcZPXB0TW7A IwXXY4OyEmLbiL4Bp4FYPRBJDwHwAwxhh1q9xsIQcueMjxP+3A9Ol8TCGdcDznAz/i2A 3Ns4jOg4JKHNtAdeVN17X7aO6fVh36BTmeFlqXTu3GyV4kP5hO0h+Kd2fXsjwhVG7Ra4 E1tVSLBrmtcNZuYEbgNW4SAxri16z0JQSJK4L6OHL1klneOFX9Un70YL7nrGG+IM3hiT bhww== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:message-id:date:from:reply-to:user-agent :mime-version:to:cc:subject:references:in-reply-to :content-transfer-encoding; bh=NwU9b1IIsXxAPLm7IQFHDxhcX4jmQE5sHK2dMefppHw=; b=nDtBwGp17KTerqQaWtvE2SmGS1jRehase4zDjCzJYAF3Ig4mzKv2eU6JP2mtVKa1Xx w37OdHPz21tDh2JdOpYWsil2wF+OqiNPzm5kUvn8Q/25fqjO/NrBBwFiypHT7qCeQAeI 6VUeEIQlczpTxJILFnB5IlxaWC6K2nOMtGxpbOdUtocNO3Ilb/ITybvdcNtJjprhs9fr KOSJjWp7FDr+HchXKwLKJqbabcIK1u/u6BD92gYxbBVJM2XqLv7qCD6Bwa6jIPLkrh9B Cxyeo1ib1N207YJzzX1xZDIP/JozAuKGEeVbtAi+uJRIc7ce5gK1Njvz2I/GQbV0DLSu 8CqA== X-Gm-Message-State: AOAM531qwhd4rW1ewrpyORHcy6vd90GadOkEafr7Tyhz261ew+j1chLn kur9iCTRbNoz8ZcrvWQgg1rX81DyAEo= X-Google-Smtp-Source: ABdhPJxKgkvvdDnQJNjmLgjUDZFntU/ATpIvmKLabSNxQkm6/LUQ+yziEsrvY6v5xANmkJ13WHzs/g== X-Received: by 2002:a9d:7d17:: with SMTP id v23mr5214434otn.363.1617240198252; Wed, 31 Mar 2021 18:23:18 -0700 (PDT) Received: from [192.168.2.42] (adsl-70-133-144-213.dsl.ablntx.sbcglobal.net. [70.133.144.213]) by smtp.gmail.com with ESMTPSA id m16sm843303otj.11.2021.03.31.18.23.17 (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Wed, 31 Mar 2021 18:23:17 -0700 (PDT) Message-ID: <60652083.2010507@gmail.com> Date: Wed, 31 Mar 2021 20:23:15 -0500 From: Jacob Bachmeyer User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.22) Gecko/20090807 MultiZilla/1.8.3.4e SeaMonkey/1.1.17 Mnenhy/0.7.6.0 MIME-Version: 1.0 References: <87a6qjrrer.fsf@tromey.com> In-Reply-To: <87a6qjrrer.fsf@tromey.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Score: 0.5 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.5 (/) Tom Tromey wrote: > 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 [--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 [...]" > So how should that be written in GNU convention? "dejagnu COMMAND [ --help | OPTIONS... ]"? Is there a description of these conventions somewhere that I have missed or overlooked? > Second, either --help or running it without options should probably show > the available commands. > This issue is PR33821. It has not been implemented yet because we do not have enough commands to make evaluating an implementation practical. > Third, the use of tabs in the output makes it a bit weird to quote. > This was done for convenience, including that the help texts are actually read from the script files where they are "inset" using tabs. (The line "# ##help" in the dejagnu launcher script introduces its own help text.) What problems does this cause? -- Jacob From unknown Tue Jun 17 01:38:30 2025 X-Loop: help-debbugs@gnu.org Subject: bug#47533: bug in dejagnu 1.6.3-rc2 Resent-From: Tom Tromey Original-Sender: "Debbugs-submit" Resent-CC: bug-dejagnu@gnu.org Resent-Date: Thu, 01 Apr 2021 13:31:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 47533 X-GNU-PR-Package: dejagnu X-GNU-PR-Keywords: To: Jacob Bachmeyer Cc: 47533@debbugs.gnu.org, Tom Tromey Received: via spool by 47533-submit@debbugs.gnu.org id=B47533.161728386111478 (code B ref 47533); Thu, 01 Apr 2021 13:31:02 +0000 Received: (at 47533) by debbugs.gnu.org; 1 Apr 2021 13:31:01 +0000 Received: from localhost ([127.0.0.1]:56691 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lRxPZ-0002yd-AV for submit@debbugs.gnu.org; Thu, 01 Apr 2021 09:31:01 -0400 Received: from rock.gnat.com ([205.232.38.15]:52704) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lRxPX-0002rI-O7 for 47533@debbugs.gnu.org; Thu, 01 Apr 2021 09:31:00 -0400 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 6F97356109; Thu, 1 Apr 2021 09:30:54 -0400 (EDT) X-Virus-Scanned: Debian amavisd-new at gnat.com Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id sbMi5KA4wyMc; Thu, 1 Apr 2021 09:30:54 -0400 (EDT) Received: from murgatroyd (71-211-182-15.hlrn.qwest.net [71.211.182.15]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by rock.gnat.com (Postfix) with ESMTPSA id 1107756105; Thu, 1 Apr 2021 09:30:54 -0400 (EDT) From: Tom Tromey References: <87a6qjrrer.fsf@tromey.com> <60652083.2010507@gmail.com> X-Attribution: Tom Date: Thu, 01 Apr 2021 07:30:53 -0600 In-Reply-To: <60652083.2010507@gmail.com> (Jacob Bachmeyer's message of "Wed, 31 Mar 2021 20:23:15 -0500") Message-ID: <875z16rv1u.fsf@tromey.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) >> Usage: dejagnu [--help|options...] Jacob> So how should that be written in GNU convention? Jacob> "dejagnu COMMAND [ --help | OPTIONS... ]"? Yeah. Jacob> Is there a description of these conventions somewhere that I have Jacob> missed or overlooked? I think it's a convention based on the commenting convention: https://www.gnu.org/prep/standards/html_node/Comments.html#Comments >> Third, the use of tabs in the output makes it a bit weird to quote. Jacob> This was done for convenience, including that the help texts are Jacob> actually read from the script files where they are "inset" using tabs. Jacob> (The line "# ##help" in the dejagnu launcher script introduces its own Jacob> help text.) What problems does this cause? None, it just looks unusual and then when I pasted it into the email, it indented very weirdly as well. Tom From unknown Tue Jun 17 01:38:30 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Tom Tromey Subject: bug#47533: closed (Re: bug#47533: bug in dejagnu 1.6.3-rc2) Message-ID: References: <606653BD.2070404@gmail.com> <87a6qjrrer.fsf@tromey.com> X-Gnu-PR-Message: they-closed 47533 X-Gnu-PR-Package: dejagnu Reply-To: 47533@debbugs.gnu.org Date: Thu, 01 Apr 2021 23:15:01 +0000 Content-Type: multipart/mixed; boundary="----------=_1617318901-25782-1" This is a multi-part message in MIME format... ------------=_1617318901-25782-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #47533: bug in dejagnu 1.6.3-rc2 which was filed against the dejagnu package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 47533@debbugs.gnu.org. --=20 47533: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D47533 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1617318901-25782-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 47533-done) by debbugs.gnu.org; 1 Apr 2021 23:14:13 +0000 Received: from localhost ([127.0.0.1]:58839 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lS6Vw-0006gd-WF for submit@debbugs.gnu.org; Thu, 01 Apr 2021 19:14:13 -0400 Received: from mail-ot1-f45.google.com ([209.85.210.45]:33762) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lS6Vv-0006gQ-OC for 47533-done@debbugs.gnu.org; Thu, 01 Apr 2021 19:14:12 -0400 Received: by mail-ot1-f45.google.com with SMTP id s11-20020a056830124bb029021bb3524ebeso3647152otp.0 for <47533-done@debbugs.gnu.org>; Thu, 01 Apr 2021 16:14:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=message-id:date:from:reply-to:user-agent:mime-version:to:cc:subject :references:in-reply-to:content-transfer-encoding; bh=KTPxb/uzN/T+CLNeYvxYB2sahzdOt+qiE2/u0NFqjOQ=; b=imuVR6MaZMyIRilbV+vQZtRzG4d1Lo86axGglWHgWU8poo7DeVHgMHr22rZvw8uzrN 1qbugDKefuHopZ/1K2zMUorumgupYtXIO/zKttyTLsqDjpC903Ekf0ZmFj30JC4J8qsA eEcX+piQV3UZJktB94B2HA8NqWzqJIVpDOVBDSwqI8v2OPfpJbf+cwY1Wwu3TR877nMl /vNyql95qv+MAgzpHxzZglm0birnpeYdChYuAsPWQ8Ju06WITfu31OBB9yyp8njhZvm1 r0GqhRNKSsX6b92RzMe03oP6YeA/GPCVmBz3rfPCzkllEqLORul1TzIbzZu9ct+Cd/DF EkvQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:message-id:date:from:reply-to:user-agent :mime-version:to:cc:subject:references:in-reply-to :content-transfer-encoding; bh=KTPxb/uzN/T+CLNeYvxYB2sahzdOt+qiE2/u0NFqjOQ=; b=qasRPs5FTiKVmrKOShbvRhelwVnvP0Id+mkc0D7++yzpvJKJHep826s3/AIlkRzzj7 6Q04rkhxJqk7JX9qXje+3a0BZeYCD17YhAsiR295rIkHGgytq1InFruelPZgI6hDx/Nt agpT/kjxH61z4IhW9f22loR1R0SXNrzGhxOaJt68Rgn+o3vvHE0gJKbBMx2iYsv9W5jq yPh677KmHvl1dYyiAP30vRNlXiWfMPp3MLzd8gfw3WEdWPWcYihbNkb939RZgLSmnFo3 cJ82ywBgq++c660Ijoha12FRe3xc5neyzlva0O8q0TGUPTbf7+EEWXG7Itc6NxED3etS P5/A== X-Gm-Message-State: AOAM5327yVfPHdrRK6UxpdXOtHYOKCuZouNzuKgSTNoAhVD5puObLJoV iwgCLCo+N7VrY0tlPOtPQGyGFGQFUhE= X-Google-Smtp-Source: ABdhPJzfUMTgoUUxfdsdY642KqWIGdRryklOMm8PfzN95Nvs3dtwjLa8LETO1frqp6LemAWLPz1Fyg== X-Received: by 2002:a9d:2968:: with SMTP id d95mr9040997otb.42.1617318846115; Thu, 01 Apr 2021 16:14:06 -0700 (PDT) Received: from [192.168.2.42] (adsl-70-133-144-213.dsl.ablntx.sbcglobal.net. [70.133.144.213]) by smtp.gmail.com with ESMTPSA id y31sm1473955ota.16.2021.04.01.16.14.05 (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Thu, 01 Apr 2021 16:14:05 -0700 (PDT) Message-ID: <606653BD.2070404@gmail.com> Date: Thu, 01 Apr 2021 18:14:05 -0500 From: Jacob Bachmeyer User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.22) Gecko/20090807 MultiZilla/1.8.3.4e SeaMonkey/1.1.17 Mnenhy/0.7.6.0 MIME-Version: 1.0 To: Tom Tromey Subject: Re: bug#47533: bug in dejagnu 1.6.3-rc2 References: <87a6qjrrer.fsf@tromey.com> <60652083.2010507@gmail.com> <875z16rv1u.fsf@tromey.com> In-Reply-To: <875z16rv1u.fsf@tromey.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Score: 0.5 (/) X-Debbugs-Envelope-To: 47533-done Cc: 47533-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: jcb62281@gmail.com Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.5 (/) Tom Tromey wrote: >>> Usage: dejagnu [--help|options...] >>> > > Jacob> So how should that be written in GNU convention? > Jacob> "dejagnu COMMAND [ --help | OPTIONS... ]"? > > Yeah. > Fixed in commit ea9642561c3f410dfb9f1362bc61fdf4e499b7f4 on the dejagnu-1.6.3 branch. >>> Third, the use of tabs in the output makes it a bit weird to quote. >>> > > Jacob> This was done for convenience, including that the help texts are > Jacob> actually read from the script files where they are "inset" using tabs. > Jacob> (The line "# ##help" in the dejagnu launcher script introduces its own > Jacob> help text.) What problems does this cause? > > None, it just looks unusual and then when I pasted it into the email, it > indented very weirdly as well. The "weird" indentation (unaffected by a small bit of left-edge text) is intentional in the script files, since the help messages are embedded in comments there. I will consider possibly expanding tabs on output in a future version but this is not really a bug right now. -- Jacob ------------=_1617318901-25782-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 31 Mar 2021 21:40:03 +0000 Received: from localhost ([127.0.0.1]:55673 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lRiZG-0000j9-Li for submit@debbugs.gnu.org; Wed, 31 Mar 2021 17:40:02 -0400 Received: from lists.gnu.org ([209.51.188.17]:50140) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lRhab-0007hf-3N for submit@debbugs.gnu.org; Wed, 31 Mar 2021 16:37:21 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:52558) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lRhaa-00037Z-SK for bug-dejagnu@gnu.org; Wed, 31 Mar 2021 16:37:20 -0400 Received: from rock.gnat.com ([205.232.38.15]:47645) by eggs.gnu.org with esmtps (TLS1.1:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.90_1) (envelope-from ) id 1lRhaZ-0007YJ-94 for bug-dejagnu@gnu.org; Wed, 31 Mar 2021 16:37:20 -0400 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id C612756090; Wed, 31 Mar 2021 16:37:17 -0400 (EDT) X-Virus-Scanned: Debian amavisd-new at gnat.com Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id pLLkgAeFxpYM; Wed, 31 Mar 2021 16:37:17 -0400 (EDT) Received: from murgatroyd (71-211-182-15.hlrn.qwest.net [71.211.182.15]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by rock.gnat.com (Postfix) with ESMTPSA id 81F885608F; Wed, 31 Mar 2021 16:37:17 -0400 (EDT) From: Tom Tromey To: bug-dejagnu@gnu.org Subject: bug in dejagnu 1.6.3-rc2 X-Attribution: Tom Date: Wed, 31 Mar 2021 14:37:16 -0600 Message-ID: <87a6qjrrer.fsf@tromey.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=205.232.38.15; envelope-from=tromey@adacore.com; helo=rock.gnat.com X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Wed, 31 Mar 2021 17:40:01 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) 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 [--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 ------------=_1617318901-25782-1--