diff options
author | Francis Rowe <info@gluglug.org.uk> | 2015-08-29 22:52:53 (EDT) |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2015-08-29 22:52:53 (EDT) |
commit | 8c07c380121cdab4efd50cff453875903b8c67ef (patch) | |
tree | 1b98335666f4ad9de1c3e921d36443cea449e82c /resources/scripts/helpers/build/release | |
parent | 116f491fdfe087264d65110cc59c47eb23d3063a (diff) | |
download | libreboot-8c07c380121cdab4efd50cff453875903b8c67ef.zip libreboot-8c07c380121cdab4efd50cff453875903b8c67ef.tar.gz libreboot-8c07c380121cdab4efd50cff453875903b8c67ef.tar.bz2 |
build/release/{docs,roms,src}: use GNU BASH
Diffstat (limited to 'resources/scripts/helpers/build/release')
-rwxr-xr-x | resources/scripts/helpers/build/release/docs | 2 | ||||
-rwxr-xr-x | resources/scripts/helpers/build/release/roms | 2 | ||||
-rwxr-xr-x | resources/scripts/helpers/build/release/src | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/resources/scripts/helpers/build/release/docs b/resources/scripts/helpers/build/release/docs index 82a943b..38a0999 100755 --- a/resources/scripts/helpers/build/release/docs +++ b/resources/scripts/helpers/build/release/docs @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # # helper script: generate the documentation release archive diff --git a/resources/scripts/helpers/build/release/roms b/resources/scripts/helpers/build/release/roms index f5064fb..14c05ad 100755 --- a/resources/scripts/helpers/build/release/roms +++ b/resources/scripts/helpers/build/release/roms @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # # helper script: generate the ROM image release archives diff --git a/resources/scripts/helpers/build/release/src b/resources/scripts/helpers/build/release/src index 0ef2551..60356e8 100755 --- a/resources/scripts/helpers/build/release/src +++ b/resources/scripts/helpers/build/release/src @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # # helper script: generate the source release archive |