Apply all patches in the patches directory
This commit is contained in:
committed by
Julien Cretin
parent
53da98c272
commit
ec994eac32
@@ -43,7 +43,7 @@ echo $done_text
|
|||||||
# Apply patches to kernel. Do that in a sub-shell.
|
# Apply patches to kernel. Do that in a sub-shell.
|
||||||
(
|
(
|
||||||
cd third_party/tock/ && \
|
cd third_party/tock/ && \
|
||||||
for p in ../../patches/tock/[0-9][0-9]-*.patch
|
for p in ../../patches/tock/*.patch
|
||||||
do
|
do
|
||||||
echo -n '[-] Applying patch "'$(basename $p)'"... '
|
echo -n '[-] Applying patch "'$(basename $p)'"... '
|
||||||
if git apply "$p"
|
if git apply "$p"
|
||||||
@@ -61,7 +61,7 @@ echo $done_text
|
|||||||
# that case.
|
# that case.
|
||||||
#(
|
#(
|
||||||
# cd third_party/libtock-rs/ && \
|
# cd third_party/libtock-rs/ && \
|
||||||
# for p in ../../patches/libtock-rs/[0-9][0-9]-*.patch
|
# for p in ../../patches/libtock-rs/*.patch
|
||||||
# do
|
# do
|
||||||
# echo -n '[-] Applying patch "'$(basename $p)'"... '
|
# echo -n '[-] Applying patch "'$(basename $p)'"... '
|
||||||
# if git apply "$p"
|
# if git apply "$p"
|
||||||
|
|||||||
Reference in New Issue
Block a user