diff options
| -rwxr-xr-x | util/board_status/getrevision.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/util/board_status/getrevision.sh b/util/board_status/getrevision.sh index 6559df3eb6..168c972f30 100755 --- a/util/board_status/getrevision.sh +++ b/util/board_status/getrevision.sh @@ -96,7 +96,10 @@ timestamp() { if [ -z "$t" ]; then echo "Warning: Could not determine timestamp." 2>/dev/null fi - echo "${t}" + + # output the time, changing colons to underscores. + # gnu make doesn't work in directories with colons + echo "${t}" | tr ':' '_' } # Retrieve local SCM revision info. This is useful if we're working in a different SCM than upstream and/or |