From f8e6d697ba00290c9c3af0e0f99d5a98e67efcbc Mon Sep 17 00:00:00 2001 From: Paolo Tosco Date: Mon, 22 Feb 2016 22:55:44 +0000 Subject: [PATCH] - now download-avalontoolkit.sh also patches the AvalonTools sources automatically --- External/AvalonTools/download-avalontoolkit.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/External/AvalonTools/download-avalontoolkit.sh b/External/AvalonTools/download-avalontoolkit.sh index 52af04c0c..f0a81e6e8 100644 --- a/External/AvalonTools/download-avalontoolkit.sh +++ b/External/AvalonTools/download-avalontoolkit.sh @@ -58,6 +58,10 @@ then echo "Unarchiving" echo "================================================================" tar xvf AvalonToolkit_1.2.0.source.tar + echo "================================================================" + echo "Applying AvalonToolkit_1.2_patch.txt" + echo "================================================================" + patch -p0 < $DIR/AvalonToolkit_1.2_patch.txt echo "================================================================" echo "Copying files" echo "================================================================"