From b7859ce55b85f06133ffb4c85e34f5d25a84f0b3 Mon Sep 17 00:00:00 2001 From: Francis Rowe Date: Fri, 20 Feb 2015 00:56:41 -0500 Subject: bash scripts: Make script output more user-friendly --- (limited to 'resources/scripts/helpers/download/bucts') diff --git a/resources/scripts/helpers/download/bucts b/resources/scripts/helpers/download/bucts index 7e3f72d..ac12d1c 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 ---------------------- -- cgit v0.9.1