dejagnu
[Top][All Lists]
Advanced

[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:1.8.1.22) Gecko/20090807 MultiZilla/1.8.3.4e SeaMonkey/1.1.17 Mnenhy/0.7.6.0

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 configure.ac. 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]