bug-dejagnu
[Top][All Lists]
Advanced

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

bug#44693: Missing documentation for make variables


From: Robert Menteer
Subject: bug#44693: Missing documentation for make variables
Date: Mon, 16 Nov 2020 13:30:02 -0500

In section 2.1 of the manual it describes what you should add to Makefile.am to 
add DejaGnu to your makefile. There are two make variables that are missing 
DEJATOOL (which tells what tool to test) and EXTRA_DEJAGNU_SITE_CONFIG (for 
adding text from files to site.exp).

Please add documentation for these two makefile variables.

Thanks,
Bob Menteer




reply via email to

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