Bug#933220: siridb-server: missing source for Release/makefile

2019-08-13 Thread Paul Gevers
Control: severity -1 normal Hi Jeroen, On 13-08-2019 11:51, Jeroen van der Heijden wrote: > The SiriDB project once started by using the Eclipse IDE which generates > the make-files and adds the "Auto generated.." comments. Since the > project is ejected from Eclipse we can now simply remove the

Bug#933220: siridb-server: missing source for Release/makefile

2019-08-13 Thread Jeroen van der Heijden
Hi Paul, The SiriDB project once started by using the Eclipse IDE which generates the make-files and adds the "Auto generated.." comments. Since the project is ejected from Eclipse we can now simply remove the comments and make future changes by hand. (This does not happen a lot, so changes are

Bug#933220: siridb-server: missing source for Release/makefile

2019-07-28 Thread Helmut Grohne
Hi Paul, On Sun, Jul 28, 2019 at 10:46:10AM +0200, Paul Gevers wrote: > I'm slight curious, you're doing QA and found this, or are you actually > interested in siridb-server? You guessed correctly. I found that siridb-server would FTCBFS and I figured that I'd have to change the generated files

Bug#933220: siridb-server: missing source for Release/makefile

2019-07-28 Thread Paul Gevers
Hi Helmut, On 27-07-2019 18:47, Helmut Grohne wrote: > The Release/makefile starts with: > > > # Automatically-generated file. Do not edit! >

Bug#933220: siridb-server: missing source for Release/makefile

2019-07-27 Thread Helmut Grohne
Source: siridb-server Version: 2.0.34-1 Severity: serious Justification: missing source The Release/makefile starts with: # Automatically-generated file. Do not edit!