makefiles writing to $@ should first write to $@.new

Поиск
Список
Период
Сортировка
От Justin Pryzby
Тема makefiles writing to $@ should first write to $@.new
Дата
Msg-id 20220124032305.GR23027@telsasoft.com
обсуждение исходный текст
Ответы Re: makefiles writing to $@ should first write to $@.new  (Michael Paquier <michael@paquier.xyz>)
Re: makefiles writing to $@ should first write to $@.new  (Peter Eisentraut <peter.eisentraut@enterprisedb.com>)
Список pgsql-hackers
There are many Makefile rules like

foo: bar
    ./tool $< > $@

If the rule is interrupted (due to ^C or ENOSPC), foo can be 0 bytes or
partially written, but won't be rebuilt until someone runs distclean or debugs
it and removes the individual file, as I did for errcodes.h.

It'd be better if these did

./tool $< > $@.new
mv $@.new $@

-- 
Justin



В списке pgsql-hackers по дате отправления:

Предыдущее
От: Amit Kapila
Дата:
Сообщение: Re: Skipping logical replication transactions on subscriber side
Следующее
От: Michael Paquier
Дата:
Сообщение: Re: Catalog version access