Small optimization in Makefile regarding mk_exec target.
authorGoetz Pfeiffer <Goetz.Pfeiffer@helmholtz-berlin.de>
local dateFri, 25 Jun 2021 13:47:26
dateFri, 25 Jun 2021 11:47:26
hashafad17c548446e0c7f71768af897dda896aab220
Small optimization in Makefile regarding mk_exec target.


Now mk_exec depends on $(SETENV), so there is no need to have $(SETENV) as
dependency at all places when mk_exec is a dependency.

Also a detailed comment was added at the definition of "mk_exec".
1 file(s) changed:
Makefile +25 -18