|
From: | Thomas Schwinge |
Subject: | [bug #18015] GNU Mach: `make dist' and friends |
Date: | Sun, 03 Dec 2006 16:41:48 +0000 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; de; rv:1.8.1) Gecko/20060601 Firefox/2.0 (Ubuntu-edgy) |
Update of bug #18015 (project hurd): Status: Ready For Test => Fixed Open/Closed: Open => Closed Wiki-like text discussion box: => > If you add ``DISTCLEANFILES = Makefile.orig config.status.orig'' to `Makefile.am', does it work then? This was positively confirmed by Barry -- Thanks for testing! -- so I'm closing this bug after having installed the following: #v+ 2006-12-03 Thomas Schwinge <tschwinge@gnu.org> [bug #18015 --- ``GNU Mach: `make dist' and friends''] * Makefile.am (DISTCLEANFILES): New variable. #v- _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?18015> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |