[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: PATCH: add dejagnu-report-card(1) tool (run as "dejagnu report card"

From: Jacob Bachmeyer
Subject: Re: PATCH: add dejagnu-report-card(1) tool (run as "dejagnu report card")
Date: Mon, 31 Dec 2018 18:03:53 -0600
User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv: Gecko/20090807 MultiZilla/ SeaMonkey/1.1.17 Mnenhy/

Ben Elliston wrote:
On Sun, Dec 30, 2018 at 07:25:23PM -0600, Jacob Bachmeyer wrote:
I am considering rewriting some parts of dejagnu(1) to use short Awk
programs and pointing at the GNU Coding Standards and saying "you
are supposed to have awk(1); GNU Awk is Free and will work; you have
no excuse; not-a-bug" if anyone complains about it not working
because awk(1) is missing.

I have added an AC_PROG_AWK check to We can have
configure abort if there is no awk installed on the system.

We probably should do that -- as far as I can tell, not only is awk(1) required by POSIX, but it was also present in all or nearly all pre-POSIX systems. (If the GNU Coding Standards permit its availability to be assumed, as they do...) I think that we can call a missing awk(1) a system configuration error.

AC_PROG_AWK is more to *select* an Awk implementation than to ensure that one exists. (Adding a similar search to dejagnu(1) is now on my local TODO list.)

-- Jacob

reply via email to

[Prev in Thread] Current Thread [Next in Thread]