diff options
| author | Max <msuraev@sysmocom.de> | 2018-01-22 11:01:30 +0100 |
|---|---|---|
| committer | Max <msuraev@sysmocom.de> | 2018-01-22 11:02:14 +0100 |
| commit | f086d63c1358d1c791b774dc3ef0e602c7c95813 (patch) | |
| tree | f5f984ca9616fdcba2baceacdb7faebc1108c44c | |
| parent | e10bf97f8f1598508c7ce5483a16058c2e19ce46 (diff) | |
cosmetic: remove unused function
Change-Id: Ie3885237cea2afbe5e8c0f89d2280284bb4d9150
| -rwxr-xr-x | coverity/build_Osmocom.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh index 4da9ec6..18c9b0b 100755 --- a/coverity/build_Osmocom.sh +++ b/coverity/build_Osmocom.sh @@ -10,10 +10,6 @@ install -d "$prefix" export PKG_CONFIG_PATH="$prefix/lib/pkgconfig" -git_branch() { - echo "$(git status)" | grep 'On branch' | sed 's/On branch //' -} - do_build() { autoreconf --install --force ./configure --prefix="$prefix" $* |