summaryrefslogtreecommitdiffstats
path: root/resources/scripts
diff options
context:
space:
mode:
authorFrancis 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)
commit8c07c380121cdab4efd50cff453875903b8c67ef (patch)
tree1b98335666f4ad9de1c3e921d36443cea449e82c /resources/scripts
parent116f491fdfe087264d65110cc59c47eb23d3063a (diff)
downloadlibreboot-8c07c380121cdab4efd50cff453875903b8c67ef.zip
libreboot-8c07c380121cdab4efd50cff453875903b8c67ef.tar.gz
libreboot-8c07c380121cdab4efd50cff453875903b8c67ef.tar.bz2
build/release/{docs,roms,src}: use GNU BASH
Diffstat (limited to 'resources/scripts')
-rwxr-xr-xresources/scripts/helpers/build/release/docs2
-rwxr-xr-xresources/scripts/helpers/build/release/roms2
-rwxr-xr-xresources/scripts/helpers/build/release/src2
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