-
Stefan Tauner authored
In the usual scenario no netlist is updated or at least does not require the FIJI configuration to be edited again so the modification time check that make does is actually too much and causes a large number of FIJI setup instances to run in certain situations unnecessarily. However, this hides errors of FIJI Setup as well.
8605fe62