diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-09 06:55:12 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-09 06:55:12 +0200 |
| commit | c0a0ce1bad908f3fedd4f39cef3fe24263c90c08 (patch) | |
| tree | 8d407a2a8d5edf5f7b0314905e14b0caae3929a5 | |
| parent | 30b8ebd96c538aa034c7c53b8546605748ddb9d3 (diff) | |
| download | makekernel-c0a0ce1bad908f3fedd4f39cef3fe24263c90c08.tar.xz | |
makekernel: ignore errors of "git fetch"
| -rw-r--r-- | makekernel.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/makekernel.in b/makekernel.in index e2dfb02..4176aae 100644 --- a/makekernel.in +++ b/makekernel.in @@ -112,7 +112,7 @@ if ${showVersion} then if ${hasGit} then - git -C "${kernelDir}" fetch --all --tags &> /dev/null + git -C "${kernelDir}" fetch --all --tags &> /dev/null || true git -C "${kernelDir}" tag --list | \ grep '^v[0-9.]\+$' | \ sed 's|^v||' | \ |