Re: [PATCH] _make: target: handle "make -C dir"

[Mikael Magnusson <mikachu@gmail.com>]

On 8/24/19, Daniel Shahaf <d.s@daniel.shahaf.name> wrote:
> Mikael Magnusson wrote on Fri, 23 Aug 2019 10:40 +00:00:
>> On 8/23/19, Daniel Shahaf <d.s@daniel.shahaf.name> wrote:
>> > Daniel Hahler wrote on Thu, Aug 22, 2019 at 08:37:53 +0200:
>> >> `$basedir` defaults to `$PWD`, so it is ok to pass it always (I
>> >> assume).
>> >
>> > If the current working directory has been deleted, «$PWD» and «./» may
>> > refer
>> > to different directories.
>>
>> I think you won't have much success running make in a deleted directory.
>
> I would, if it's been recreated:
>
> [[[
> % cd "$(mktemp -d)"
> % rm -rf $PWD
> % mkdir $PWD
> % printf 'all:\n\ttrue\n' > $PWD/Makefile
> % make -C $PWD
> make: getcwd: No such file or directory
> make: Entering directory '/tmp/tmp.ko7oZrXDP2'
> true
> make: Leaving directory '/tmp/tmp.ko7oZrXDP2'
> % echo $?
> 0
> %
> ]]]

I think we can safely ignore this workflow.

-- 
Mikael Magnusson