diff options
| author | Leah Rowe <info@minifree.org> | 2017-06-23 19:38:45 +0000 |
|---|---|---|
| committer | Gogs <gogitservice@gmail.com> | 2017-06-23 19:38:45 +0000 |
| commit | 27c97741ffb53a6000a543ab085f5e87bce97b55 (patch) | |
| tree | aff092d91ed7b7f47fe396a16da2b7d29b721099 /resources/scripts/helpers/build/roms | |
| parent | 87047e55156f7b9f0bffe4059890799e1a987530 (diff) | |
| parent | b6e6d5eba409ca26934308a171c01210747248d7 (diff) | |
| download | librebootfr-27c97741ffb53a6000a543ab085f5e87bce97b55.tar.gz librebootfr-27c97741ffb53a6000a543ab085f5e87bce97b55.zip | |
Merge branch 'portable-shebangs' of kragle/libreboot into master
Diffstat (limited to 'resources/scripts/helpers/build/roms')
4 files changed, 4 insertions, 4 deletions
diff --git a/resources/scripts/helpers/build/roms/withgrub b/resources/scripts/helpers/build/roms/withgrub index 28f35736..4b812bfe 100755 --- a/resources/scripts/helpers/build/roms/withgrub +++ b/resources/scripts/helpers/build/roms/withgrub @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: build ROM images with SeaGRUB and put them in ./bin/ diff --git a/resources/scripts/helpers/build/roms/withgrub_helper b/resources/scripts/helpers/build/roms/withgrub_helper index 26d69f0b..49294451 100755 --- a/resources/scripts/helpers/build/roms/withgrub_helper +++ b/resources/scripts/helpers/build/roms/withgrub_helper @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # helper script: create ROM images for a given system, with SeaGRUB # diff --git a/resources/scripts/helpers/build/roms/withseabios b/resources/scripts/helpers/build/roms/withseabios index e43c642f..71f0c448 100755 --- a/resources/scripts/helpers/build/roms/withseabios +++ b/resources/scripts/helpers/build/roms/withseabios @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: build ROM images with SeaBIOS and put them in ./bin/seabios/ diff --git a/resources/scripts/helpers/build/roms/withseabios_helper b/resources/scripts/helpers/build/roms/withseabios_helper index 61d36d99..caceddd0 100755 --- a/resources/scripts/helpers/build/roms/withseabios_helper +++ b/resources/scripts/helpers/build/roms/withseabios_helper @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # helper script: create ROM images for a given system, with SeaBIOS # |