diff options
Diffstat (limited to 'Makefile.gen.gen')
-rw-r--r-- | Makefile.gen.gen | 70 |
1 files changed, 0 insertions, 70 deletions
diff --git a/Makefile.gen.gen b/Makefile.gen.gen deleted file mode 100644 index a6df8b8f3..000000000 --- a/Makefile.gen.gen +++ /dev/null @@ -1,70 +0,0 @@ -# -*- Makefile -*- -# -# Copyright 2009 Free Software Foundation, Inc. -# -# This file is part of GNU Radio -# -# GNU Radio is free software; you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation; either version 3, or (at your option) -# any later version. -# -# GNU Radio is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with GNU Radio; see the file COPYING. If not, write to -# the Free Software Foundation, Inc., 51 Franklin Street, -# Boston, MA 02110-1301, USA. -# - -## ---------------------------------------------------------------- -## Special rule for regenerating the local Makefile.gen -## -## Define the variable 'makefile_gen_gen_command' to be the command -## that creates $(srcdir)/Makefile.gen . The rule below will check to -## make sure that it can create the generated file, and if not exits -## with an error -1. -## - -STAMPS += $(DEPDIR)/Makefile.gen-generate-generate-* - -generate-makefile $(srcdir)/Makefile.gen: -## parallel make protection; can't hurt - @trap 'rm -rf $(DEPDIR)/Makefile.gen-generate-*' 1 2 13 15; \ - if mkdir $(DEPDIR)/Makefile.gen-generate-lock 2>/dev/null; then \ -## This code is being executed by the first process. - rm -f $(DEPDIR)/Makefile.gen-generate-stamp; \ - rm -f $(DEPDIR)/Makefile.gen-generate-tmp; \ - touch $(DEPDIR)/Makefile.gen-generate-tmp; \ -## recreate $(srcdir)/Makefile.gen only if ... - do_recreate=0; \ - if test -f $(srcdir)/Makefile.gen; then \ -## the file exists and can be removed; or ... - if $(RM) $(srcdir)/Makefile.gen 2>/dev/null; then \ - do_recreate=1; \ - fi; \ - else \ -## the file doesn't exist, but can be created (e.g., by touching it). - if touch $(srcdir)/Makefile.gen 2>/dev/null; then \ - do_recreate=1; \ - fi; \ - fi; \ - if test "$$do_recreate" == "1"; then \ - echo "Regenerating $(srcdir)/Makefile.gen"; \ - $(makefile_gen_gen_command); \ - else \ - echo "Cannot recreate $(srcdir)/Makefile.gen because the directory or file is write-protected."; \ - exit -1; \ - fi; \ - mv -f $(DEPDIR)/Makefile.gen-generate-tmp $(DEPDIR)/Makefile.gen-generate-stamp; \ - rmdir $(DEPDIR)/Makefile.gen-generate-lock; \ - else \ -## This code is being executed by the follower processes. -## Wait until the first process is done. - while test -d $(DEPDIR)/Makefile.gen-generate-lock; do sleep 1; done; \ -## Succeed if and only if the first process succeeded. - test -f $(DEPDIR)/Makefile.gen-generate-stamp; exit $$?; \ - fi; |