From 82ba818ff456bcd6d56a06226e3f27e98fbb55c3 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Thu, 14 Aug 2025 22:58:58 -0500 Subject: removing all downloaded devdocs files --- devdocs/gnu_make/archive-pitfalls.html | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 devdocs/gnu_make/archive-pitfalls.html (limited to 'devdocs/gnu_make/archive-pitfalls.html') diff --git a/devdocs/gnu_make/archive-pitfalls.html b/devdocs/gnu_make/archive-pitfalls.html deleted file mode 100644 index 1df6c203..00000000 --- a/devdocs/gnu_make/archive-pitfalls.html +++ /dev/null @@ -1,6 +0,0 @@ -

Dangers When Using Archives

It is important to be careful when using parallel execution (the -j switch; see Parallel Execution) and archives. If multiple ar commands run at the same time on the same archive file, they will not know about each other and can corrupt the file.

Possibly a future version of make will provide a mechanism to circumvent this problem by serializing all recipes that operate on the same archive file. But for the time being, you must either write your makefiles to avoid this problem in some other way, or not use -j.

-

- 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.
Licensed under the GNU Free Documentation License.
- https://www.gnu.org/software/make/manual/html_node/Archive-Pitfalls.html -

-
-- cgit v1.2.3