|
| From: | Jacob Bachmeyer |
| Subject: | Re: [PATCH] Fix dejagnu.texi dependency declaration |
| Date: | Tue, 15 Dec 2020 21:34:46 -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 |
Dimitar Dimitrov wrote:
This fixes "make distcheck" on my Debian 10 system.
Thanks; trivial patch applied. I also cleaned up some other details in the build files while I was looking at them.
-- Jacob
| [Prev in Thread] | Current Thread | [Next in Thread] |