diff options
| author | Tim Biermann <tbier@posteo.de> | 2022-05-27 10:33:19 +0200 |
|---|---|---|
| committer | Tim Biermann <tbier@posteo.de> | 2022-05-27 14:04:27 +0200 |
| commit | 29f16881e3008206306532f70064b74491999c0b (patch) | |
| tree | 4a155569d5b1ba43195ffeda9ecd68a4b79b1a99 /boxes | |
| parent | f1fc99d8f7b74b6b5e7f3b30f14589e4f745bad6 (diff) | |
| download | contrib-29f16881e3008206306532f70064b74491999c0b.tar.gz contrib-29f16881e3008206306532f70064b74491999c0b.tar.xz | |
boxes: cleaning up
Diffstat (limited to 'boxes')
| -rw-r--r-- | boxes/makefile.patch | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/boxes/makefile.patch b/boxes/makefile.patch deleted file mode 100644 index b7dc894b5..000000000 --- a/boxes/makefile.patch +++ /dev/null @@ -1,24 +0,0 @@ -From d1a1cf158016f24ee9d4785e3e07b82329964d0f Mon Sep 17 00:00:00 2001 -From: Thomas Jensen <boxes@thomasjensen.com> -Date: Tue, 20 Apr 2021 21:27:22 +0200 -Subject: [PATCH] Declare our src/Makefile as serial #79 - -because for some reason, make exhibits very strange behavior -when executing it in parallel jobs ---- - src/Makefile | 2 ++ - 1 file changed, 2 insertions(+) - -diff --git a/src/Makefile b/src/Makefile -index 6a6fc8f..3f61aa7 100644 ---- a/src/Makefile -+++ b/src/Makefile -@@ -39,6 +39,8 @@ ORIG_FILES = $(ORIG_SRC) $(ORIG_HDR) - - .PHONY: check_dir clean build debug package flags_unix flags_win32 flags_ - -+.NOTPARALLEL: -+ - check_dir: - @if [ "$(shell pwd | sed -e 's/^.*\///')" != "out" ] ; then \ - echo ERROR: Please call make from the top level directory. ; \ |