Re: make -t and directories

2023-03-11 Thread Alejandro Colomar
Hi Paul, On 3/11/23 15:20, Paul Smith wrote: > On Sat, 2023-03-11 at 01:54 +0100, Alejandro Colomar wrote: >> Let's say I have a build tree that has directories which are created >> during build.  The build system has some linters in a `lint` target, >> which touches files when it succeeds.  When

Re: make -t and directories

2023-03-11 Thread Paul Smith
On Sat, 2023-03-11 at 01:54 +0100, Alejandro Colomar wrote: > Let's say I have a build tree that has directories which are created > during build.  The build system has some linters in a `lint` target, > which touches files when it succeeds.  When I want to lint only a > specific file, it's interes

Re: make -t and directories

2023-03-11 Thread Alejandro Colomar
Hi Dmitry, On 3/11/23 14:36, Dmitry Goncharov wrote: > On Fri, Mar 10, 2023 at 7:55 PM Alejandro Colomar > wrote: >> How about using `mkdir -p` instead of touch(1) for nonexistent files? > > mkdir -p would create a directory where a file is supposed to be. > Let's say you have hello.c, but no he

Re: make -t and directories

2023-03-11 Thread Dmitry Goncharov
On Fri, Mar 10, 2023 at 7:55 PM Alejandro Colomar wrote: > How about using `mkdir -p` instead of touch(1) for nonexistent files? mkdir -p would create a directory where a file is supposed to be. Let's say you have hello.c, but no hello.o.If you run make -t it'll create an empty hello.o. Then you

make -t and directories

2023-03-10 Thread Alejandro Colomar
Hi! Let's say I have a build tree that has directories which are created during build. The build system has some linters in a `lint` target, which touches files when it succeeds. When I want to lint only a specific file, it's interesting to convince make(1) to touch all files, and then touch the