Re: [bug #40639] GNU Make with profiling information

2014-01-08 Thread Eddy Petrișor
Paul, I would really appreciate feedback on this. If the problem is the licensing, don't worry about my rights, I will gladly give them to the FSF. Pe 18.12.2013 13:28, "Eddy Petrișor" a scris: > > > Pe 15.12.2013 18:07, "Paul Smith" a scris: > > > > > On Sun, 2013-12-15 at 13:38 +, Tim Mur

output from $(error) lost with output sync

2014-01-08 Thread Oliver Kiddle
Given the following Makefile, the output from the error function is being lost when the gmake 4 output-sync is enabled: foo: $(OBJS) echo $(or $(filter %.o,$^),$(error No input files for library: $@)) % gmake Makefile:2: *** No input files for library: foo. Stop. % gmake -O % With $(in