From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <55658C9D.8020406@xenomai.org> Date: Wed, 27 May 2015 11:21:33 +0200 From: Philippe Gerum MIME-Version: 1.0 References: <20150527111126.2f03fa66@md1em3qc> In-Reply-To: <20150527111126.2f03fa66@md1em3qc> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Subject: Re: [Xenomai] [PATCH] debian: remove xeno-config from libxenomai-dev package List-Id: Discussions about the Xenomai project List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Henning Schild , xenomai@xenomai.org On 05/27/2015 11:11 AM, Henning Schild wrote: > Hey Guys, > > we have a continuous integration setup here at Siemens. Next to our own > repos we also compile and test upstream to detect problems before > merging. > I know the changes to the debian directory seem unimportant, but our > current CI infrastructure is built on that. So please consider applying > my suggestions. Using the CI we hope to find and fix issues in the > whole project but for that to work we need a reliable way of deploying > binaries to our test systems. > > If there is a debian directory in the tree, it should be consistent. > The other option would be to remove it all together, i personally > prefer the first option. You mean this? http://git.xenomai.org/xenomai-3.git/commit/?id=571ec165ad6a22d3f93f6197b64eb8edba8fbee4 -- Philippe.