diff options
Diffstat (limited to 'resources/scripts/helpers/download')
-rwxr-xr-x | resources/scripts/helpers/download/bucts | 3 | ||||
-rwxr-xr-x | resources/scripts/helpers/download/coreboot | 3 | ||||
-rwxr-xr-x | resources/scripts/helpers/download/flashrom | 3 | ||||
-rwxr-xr-x | resources/scripts/helpers/download/grub | 3 | ||||
-rwxr-xr-x | resources/scripts/helpers/download/memtest86plus | 3 |
5 files changed, 10 insertions, 5 deletions
diff --git a/resources/scripts/helpers/download/bucts b/resources/scripts/helpers/download/bucts index 5d5e5d1..7e3f72d 100755 --- a/resources/scripts/helpers/download/bucts +++ b/resources/scripts/helpers/download/bucts @@ -21,7 +21,8 @@ # This script assumes that the working directory is the # root of libreboot_src or libreboot git. -set -u -e -v +[ "x${DEBUG+set}" = 'xset' ] && set -v +set -u -e # Get bucts and checkout last revision used diff --git a/resources/scripts/helpers/download/coreboot b/resources/scripts/helpers/download/coreboot index 586f1c1..281d72c 100755 --- a/resources/scripts/helpers/download/coreboot +++ b/resources/scripts/helpers/download/coreboot @@ -21,7 +21,8 @@ # This script assumes that the working directory is the # root of libreboot_src or libreboot git. -set -u -e -v +[ "x${DEBUG+set}" = 'xset' ] && set -v +set -u -e # This grabs current base used, and applies patches # This is also used to run the deblob scripts. diff --git a/resources/scripts/helpers/download/flashrom b/resources/scripts/helpers/download/flashrom index 45f7a34..81e8cae 100755 --- a/resources/scripts/helpers/download/flashrom +++ b/resources/scripts/helpers/download/flashrom @@ -21,7 +21,8 @@ # This script assumes that the working directory is the # root of libreboot_src or libreboot git. -set -u -e -v +[ "x${DEBUG+set}" = 'xset' ] && set -v +set -u -e # Get flashrom at the last previously tested revision diff --git a/resources/scripts/helpers/download/grub b/resources/scripts/helpers/download/grub index 8dc512e..6145293 100755 --- a/resources/scripts/helpers/download/grub +++ b/resources/scripts/helpers/download/grub @@ -21,7 +21,8 @@ # This script assumes that the working directory is the # root of libreboot_src or libreboot git. -set -u -e -v +[ "x${DEBUG+set}" = 'xset' ] && set -v +set -u -e # Get GRUB, revert to commit last used and apply patches. diff --git a/resources/scripts/helpers/download/memtest86plus b/resources/scripts/helpers/download/memtest86plus index 37564cc..c04c311 100755 --- a/resources/scripts/helpers/download/memtest86plus +++ b/resources/scripts/helpers/download/memtest86plus @@ -21,7 +21,8 @@ # This script assumes that the working directory is the # root of libreboot_src or libreboot git. -set -u -e -v +[ "x${DEBUG+set}" = 'xset' ] && set -v +set -u -e # Get the last version of MemTest86+ used, apply patches, build it. |