diff options
Diffstat (limited to 'resources/scripts/helpers/download/bucts')
| -rwxr-xr-x | resources/scripts/helpers/download/bucts | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/resources/scripts/helpers/download/bucts b/resources/scripts/helpers/download/bucts index 7e3f72d5..ac12d1c1 100755 --- a/resources/scripts/helpers/download/bucts +++ b/resources/scripts/helpers/download/bucts @@ -29,7 +29,7 @@ set -u -e # Remove the old version that may exist # ----------------------------------------------------------- -echo "DOWNLOADING BUCTS" +printf "Downloading bucts\n" rm -rf bucts @@ -45,12 +45,13 @@ cd bucts # Reset to the last commit that was tested # ----------------------------------------------------------- +printf "Patching bucts to not require git for building\n" git reset --hard dc27919d7a66a6e8685ce07c71aefa4f03ef7c07 git am "../resources/bucts/patch/0001-Makefile-don-t-use-git.patch" # we're done cd ../ -echo "BUCTS DOWNLOAD COMPLETE" +printf "\n\n" # ------------------- DONE ---------------------- |