[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #18015] GNU Mach: `make dist' and friends
From: |
Thomas Schwinge |
Subject: |
[bug #18015] GNU Mach: `make dist' and friends |
Date: |
Sun, 03 Dec 2006 16:42:37 +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):
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-
=>
_______________________________________________________
Follow-up Comment #6:
> 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/