Re: make_tools_dir target in Makefile.in

2014-04-28 Thread Rainer Jung
On 24.04.2014 23:05, Jeff Trawick wrote: > On Thu, Apr 24, 2014 at 4:16 PM, Yann Ylavic > wrote: > > On Thu, Apr 24, 2014 at 9:08 PM, Jeff Trawick > wrote: > > On Tue, Apr 22, 2014 at 5:15 AM, Yann Ylavic

Re: make_tools_dir target in Makefile.in

2014-04-24 Thread Jeff Trawick
On Thu, Apr 24, 2014 at 4:16 PM, Yann Ylavic wrote: > On Thu, Apr 24, 2014 at 9:08 PM, Jeff Trawick wrote: > > On Tue, Apr 22, 2014 at 5:15 AM, Yann Ylavic > wrote: > >> > >> Index: Makefile.in > >> === > >> --- Makefile.in(rev

Re: make_tools_dir target in Makefile.in

2014-04-24 Thread Yann Ylavic
On Thu, Apr 24, 2014 at 9:08 PM, Jeff Trawick wrote: > On Tue, Apr 22, 2014 at 5:15 AM, Yann Ylavic wrote: >> >> Index: Makefile.in >> === >> --- Makefile.in(revision 1589047) >> +++ Makefile.in(working copy) >> @@ -53,7 +53,

Re: make_tools_dir target in Makefile.in

2014-04-24 Thread Jeff Trawick
On Tue, Apr 22, 2014 at 5:15 AM, Yann Ylavic wrote: > Hello, > > the target make_tools_dir (.PHONY) causes gen_test_char to be always > rebuilt whenever make is called. > > I came up with the following patch : > > Index: Makefile.in > ==

make_tools_dir target in Makefile.in

2014-04-22 Thread Yann Ylavic
Hello, the target make_tools_dir (.PHONY) causes gen_test_char to be always rebuilt whenever make is called. I came up with the following patch : Index: Makefile.in === --- Makefile.in(revision 1589047) +++ Makefile.in(worki