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/config | |
| 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/config')
8 files changed, 8 insertions, 8 deletions
diff --git a/resources/scripts/helpers/build/config/grubmodify b/resources/scripts/helpers/build/config/grubmodify index f6075034..606cc1ad 100755 --- a/resources/scripts/helpers/build/config/grubmodify +++ b/resources/scripts/helpers/build/config/grubmodify @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: run "make menuconfig" on config(s) to modify them diff --git a/resources/scripts/helpers/build/config/grubreplace b/resources/scripts/helpers/build/config/grubreplace index ba8d55b8..b3a57ae3 100755 --- a/resources/scripts/helpers/build/config/grubreplace +++ b/resources/scripts/helpers/build/config/grubreplace @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: run "make menuconfig" on config(s) to replace them diff --git a/resources/scripts/helpers/build/config/grubupdate b/resources/scripts/helpers/build/config/grubupdate index e9d9719c..72269213 100755 --- a/resources/scripts/helpers/build/config/grubupdate +++ b/resources/scripts/helpers/build/config/grubupdate @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: run "make oldconfig" on all coreboot config files diff --git a/resources/scripts/helpers/build/config/seabiosmodify b/resources/scripts/helpers/build/config/seabiosmodify index 15f9ca48..72d1cbc0 100755 --- a/resources/scripts/helpers/build/config/seabiosmodify +++ b/resources/scripts/helpers/build/config/seabiosmodify @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: update the seabios config diff --git a/resources/scripts/helpers/build/config/seabiosrommodify b/resources/scripts/helpers/build/config/seabiosrommodify index df58928e..a25ae441 100755 --- a/resources/scripts/helpers/build/config/seabiosrommodify +++ b/resources/scripts/helpers/build/config/seabiosrommodify @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: run "make menuconfig" on config(s) to modify them diff --git a/resources/scripts/helpers/build/config/seabiosromreplace b/resources/scripts/helpers/build/config/seabiosromreplace index 75453553..f172d193 100755 --- a/resources/scripts/helpers/build/config/seabiosromreplace +++ b/resources/scripts/helpers/build/config/seabiosromreplace @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: run "make menuconfig" on config(s) to replace them diff --git a/resources/scripts/helpers/build/config/seabiosromupdate b/resources/scripts/helpers/build/config/seabiosromupdate index 1dc4673e..8e9f29af 100755 --- a/resources/scripts/helpers/build/config/seabiosromupdate +++ b/resources/scripts/helpers/build/config/seabiosromupdate @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: run "make oldconfig" on all coreboot config files diff --git a/resources/scripts/helpers/build/config/seabiosupdate b/resources/scripts/helpers/build/config/seabiosupdate index 17b0204b..be25b55c 100755 --- a/resources/scripts/helpers/build/config/seabiosupdate +++ b/resources/scripts/helpers/build/config/seabiosupdate @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: update the seabios config |