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