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 | 
