Final.sd.mk

   1 # Final.sd.mk for secnet
   2 #
   3 # This file is part of secnet.
   4 # See README for full list of copyright holders.
   5 #
   6 # secnet is free software; you can redistribute it and/or modify it
   7 # under the terms of the GNU General Public License as published by
   8 # the Free Software Foundation; either version 3 of the License, or
   9 # (at your option) any later version.
  10 #
  11 # secnet is distributed in the hope that it will be useful, but
  12 # WITHOUT ANY WARRANTY; without even the implied warranty of
  13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14 # General Public License for more details.
  15 #
  16 # You should have received a copy of the GNU General Public License
  17 # version 3 along with secnet; if not, see
  18 # https://www.gnu.org/licenses/gpl.html.
  19
  20 # This contrives to delete things before make starts, if the user
  21 # said "recheck".  The alternative is having recheck be a target
  22 # which contains the rm's and then runs $(MAKE) again but then
  23 # we recursively re-enter make in parallel, which is Bad.
  24 $(eval $(if $(filter recheck,$(MAKECMDGOALS)), \
  25         $(shell set -x; rm -rf $(RECHECK_RM) )))