summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xutil/board_status/getrevision.sh5
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