diff options
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 |