diff options
-rwxr-xr-x | util/board_status/getrevision.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/util/board_status/getrevision.sh b/util/board_status/getrevision.sh index 0a6b6c6923..9a949ffbb9 100755 --- a/util/board_status/getrevision.sh +++ b/util/board_status/getrevision.sh @@ -52,8 +52,8 @@ is_file_tracked() { # Takes one optional argument: the path to inspect git_url() { # Note: This may not work as expected if multiple remotes are fetched from. - echo $(git remote -v | \ - awk '/fetch/ {split($2, pieces, "@"); print pieces[2]; exit 0}') + echo $(git remote -v | grep "^origin\>" | \ + awk '/fetch/ {print $2; exit 0}' | sed "s,^.*@,,") } # Returns a string indicating where others can get the current source code (excluding uncommitted changes) |