mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-11 21:32:57 +00:00
fiasco: gather patch files with sort + wildcard
Using $(shell find $(REP_DIR)/patches -name *.patch) fails if the current working directory contains *.patch files due to shell wildcard expansion before execution. Additionally, the patch list was unstable because it was not sorted resulting in divergent hashes.
This commit is contained in:
parent
80c8775d77
commit
5a97297282
@ -1 +1 @@
|
||||
3cad5953cefcd6818145ea05f96bf7b37efa5024
|
||||
59024a8cc4daef24ba5c5eea8b5b7cde701247d4
|
||||
|
@ -4,7 +4,7 @@ DOWNLOADS := fiasco.archive
|
||||
URL(fiasco) := http://downloads.sourceforge.net/project/genode/3rd/3rd_fiasco.tar.bz2
|
||||
SHA(fiasco) := b5737901001e6ab09adecf03914c0a7e04f03a2d561e9b2c7a12f3c92edc7dd0
|
||||
DIR(fiasco) := src/kernel/fiasco
|
||||
PATCHES := $(shell find $(REP_DIR)/patches -name *.patch)
|
||||
PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))
|
||||
PATCH_OPT := -p0 -d src/kernel/fiasco
|
||||
|
||||
$(call check_tool,wget)
|
||||
|
Loading…
x
Reference in New Issue
Block a user