diff options
| author | Leah Rowe <leah@libreboot.org> | 2021-06-03 11:56:54 +0000 |
|---|---|---|
| committer | Gogs <gogitservice@gmail.com> | 2021-06-03 11:56:54 +0000 |
| commit | 2f9b8b150709c8d98ab7ab41cfe32782097fd83f (patch) | |
| tree | 84ae0853b3ef2ff9cded68c1ab37b78834fa8d66 /resources/scripts/build/clean/seabios | |
| parent | 02009fdb34f785bca0dcc625c065c637529c6af3 (diff) | |
| parent | 0fadeed493688213b4c5daab32c5dbbcd41ce4c8 (diff) | |
Merge branch 'master' of noisytoot/lbmk into master
Diffstat (limited to 'resources/scripts/build/clean/seabios')
| -rwxr-xr-x | resources/scripts/build/clean/seabios | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/scripts/build/clean/seabios b/resources/scripts/build/clean/seabios index eef72a89..6362a311 100755 --- a/resources/scripts/build/clean/seabios +++ b/resources/scripts/build/clean/seabios @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # helper script: clean the dependencies that were built in seabios # |