diff options
author | Yegor Timoshenko <yegortimoshenko@riseup.net> | 2018-10-07 01:58:27 +0000 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2018-11-17 07:32:03 +0000 |
commit | c2e494136731571a78b2bdd7ca9dc536a8b5aecd (patch) | |
tree | a31bde7ce2d3ce4a96445200491b12c4e40a14f0 /util/release | |
parent | 15316e2321e9936da5f0906ec76545830938a46e (diff) |
treewide: use /usr/bin/env where appropriate
Some Unix systems (GuixSD, NixOS) do not install programs like
Bash and Python to /usr/bin, and /usr/bin/env has to be used to
locate these instead.
Change-Id: I7546bcb881c532adc984577ecb0ee2ec4f2efe00
Signed-off-by: Yegor Timoshenko <yegortimoshenko@riseup.net>
Reviewed-on: https://review.coreboot.org/28953
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/release')
-rwxr-xr-x | util/release/build-release | 2 | ||||
-rwxr-xr-x | util/release/genrelnotes | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/util/release/build-release b/util/release/build-release index a3cec3eb8c..e4330d450d 100755 --- a/util/release/build-release +++ b/util/release/build-release @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # ${VERSION_NAME}: new version name # ${COMMIT_ID}: commit id (if not master) # ${USERNAME}: username (if not default to https) diff --git a/util/release/genrelnotes b/util/release/genrelnotes index 3038eb3de8..42848a18a2 100755 --- a/util/release/genrelnotes +++ b/util/release/genrelnotes @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # This file is part of the coreboot project. # |