diff options
author | Leah Rowe <leah@libreboot.org> | 2024-05-15 04:02:48 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2024-05-15 04:03:16 +0100 |
commit | c6ba0a0e9b297606e89bd82655e48c40ac01becc (patch) | |
tree | 9ee834c5b7a516c9ccf4e7285d2ab351ff10b53c /include | |
parent | 313c4c01e0ec22eb2c2872baa4a116428d136339 (diff) |
option.sh: delete check_git()
it's only used from main() in the main build script,
and it's very small, as is main()
therefore, move the logic into main()
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'include')
-rwxr-xr-x | include/option.sh | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/include/option.sh b/include/option.sh index 986e0883..26867772 100755 --- a/include/option.sh +++ b/include/option.sh @@ -152,16 +152,6 @@ remkdir() mkdir -p "${1}" || $err "remkdir: !mkdir -p \"${1}\"" } -check_git() -{ - which git 1>/dev/null 2>/dev/null || \ - git_err "git not installed. please install git-scm." - git config --global user.name 1>/dev/null 2>/dev/null || \ - git_err "git config --global user.name \"John Doe\"" - git config --global user.email 1>/dev/null 2>/dev/null || \ - git_err "git config --global user.email \"john.doe@example.com\"" -} - git_err() { printf "You need to set git name/email, like so:\n%s\n\n" "$1" 1>&2 |