diff options
Diffstat (limited to 'devdocs/gnu_make/remaking-loaded-objects.html')
| -rw-r--r-- | devdocs/gnu_make/remaking-loaded-objects.html | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/devdocs/gnu_make/remaking-loaded-objects.html b/devdocs/gnu_make/remaking-loaded-objects.html deleted file mode 100644 index 6be722f3..00000000 --- a/devdocs/gnu_make/remaking-loaded-objects.html +++ /dev/null @@ -1,6 +0,0 @@ - <h1 class="subsection">How Loaded Objects Are Remade</h1> <p>Loaded objects undergo the same re-make procedure as makefiles (see <a href="remaking-makefiles">How Makefiles Are Remade</a>). If any loaded object is recreated, then <code>make</code> will start from scratch and re-read all the makefiles, and reload the object files again. It is not necessary for the loaded object to do anything special to support this. </p> <p>It’s up to the makefile author to provide the rules needed for rebuilding the loaded object. </p><div class="_attribution"> - <p class="_attribution-p"> - Copyright © 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022 Free Software Foundation, Inc. <br>Licensed under the GNU Free Documentation License.<br> - <a href="https://www.gnu.org/software/make/manual/html_node/Remaking-Loaded-Objects.html" class="_attribution-link">https://www.gnu.org/software/make/manual/html_node/Remaking-Loaded-Objects.html</a> - </p> -</div> |