From 8c07c380121cdab4efd50cff453875903b8c67ef Mon Sep 17 00:00:00 2001 From: Francis Rowe Date: Sun, 30 Aug 2015 03:52:53 +0100 Subject: build/release/{docs,roms,src}: use GNU BASH --- resources/scripts/helpers/build/release/docs | 2 +- resources/scripts/helpers/build/release/roms | 2 +- resources/scripts/helpers/build/release/src | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) (limited to 'resources/scripts') diff --git a/resources/scripts/helpers/build/release/docs b/resources/scripts/helpers/build/release/docs index 82a943b0..38a09993 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 f5064fb1..14c05ada 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 0ef25518..60356e8d 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 -- cgit v1.2.3-70-g09d2