diff options
| -rw-r--r-- | patches/.gitignore | 1 | ||||
| -rw-r--r-- | patches/Makefile | 7 | ||||
| -rw-r--r-- | patches/raw/Makefile | 6 |
3 files changed, 8 insertions, 6 deletions
diff --git a/patches/.gitignore b/patches/.gitignore new file mode 100644 index 0000000..a007fea --- /dev/null +++ b/patches/.gitignore @@ -0,0 +1 @@ +build/* diff --git a/patches/Makefile b/patches/Makefile new file mode 100644 index 0000000..cdc8f17 --- /dev/null +++ b/patches/Makefile @@ -0,0 +1,7 @@ +VERSION = 3.82 + +all: check_memory + +check_memory: + @mkdir -pv build + @patch --follow-symlinks -o build/check_memory raw/check_memory.orig < raw/check_memory.patch diff --git a/patches/raw/Makefile b/patches/raw/Makefile deleted file mode 100644 index f8bfa92..0000000 --- a/patches/raw/Makefile +++ /dev/null @@ -1,6 +0,0 @@ -VERSION = 3.82 - -all: check_memory - -check_memory: - @patch --follow-symlinks -o check_memory.new check_memory.orig < check_memory.patch |