diff --git a/lib/main.sh b/lib/main.sh index c3ce74b2d2..0e31fcb1f5 100644 --- a/lib/main.sh +++ b/lib/main.sh @@ -327,3 +327,5 @@ fi end=`date +%s` runtime=$(((end-start)/60)) display_alert "Runtime" "$runtime min" "info" +# Make it easy to repeat build by displaying build options used +display_alert "Repeat Build Options" "BOARD=${BOARD} BRANCH=${BRANCH} RELEASE=${RELEASE} BUILD_DESKTOP=${BUILD_DESKTOP} KERNEL_ONLY=${KERNEL_ONLY} KERNEL_CONFIGURE=no" "info"