[ET Trac] [Einstein Toolkit] #1996: Formaline can deadlock

[Einstein Toolkit]

#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).

-- 
Ticket URL: <https://trac.einsteintoolkit.org/ticket/1996#comment:3>
Einstein Toolkit <http://einsteintoolkit.org>
The Einstein Toolkit