#1996: Formaline can deadlock ------------------------------------+--------------------------------------- Reporter: eschnett | Owner: Type: defect | Status: reviewed_ok Priority: critical | Milestone: ET_2016_11 Component: EinsteinToolkit thorn | Version: development version Resolution: | Keywords: ------------------------------------+---------------------------------------
Comment (by rhaas):
The alternative would be to create a zero byte file and at it as an argument to cat just to that there is at least one argument. Or use and $if in make: {{{ $(if $(filter-out $(TARBALL_DIR)/config-Cactus.files,$?), \ cat $(filter-out $(TARBALL_DIR)/config-Cactus.files,$?), \ :) && \ }}}
I believe the only OS without /dev/null is likely Windows where the correct name is likely NUL (or /dev/null is cygwin has sufficiently much emulation for this built in or if maybe even the shell does so).