diff options
author | Ron Nazarov <noisytoot@disroot.org> | 2021-06-03 12:47:08 +0100 |
---|---|---|
committer | Ron Nazarov <noisytoot@disroot.org> | 2021-06-03 12:47:08 +0100 |
commit | 0fadeed493688213b4c5daab32c5dbbcd41ce4c8 (patch) | |
tree | 84ae0853b3ef2ff9cded68c1ab37b78834fa8d66 /resources/scripts/build/clean/flashrom | |
parent | 02009fdb34f785bca0dcc625c065c637529c6af3 (diff) |
replace #!/bin/bash with #!/usr/bin/env bash
Diffstat (limited to 'resources/scripts/build/clean/flashrom')
-rwxr-xr-x | resources/scripts/build/clean/flashrom | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/scripts/build/clean/flashrom b/resources/scripts/build/clean/flashrom index 2a13bdb2..b6e45cd4 100755 --- a/resources/scripts/build/clean/flashrom +++ b/resources/scripts/build/clean/flashrom @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # helper script: clean the dependencies that were built in flashrom # |