Open-Harbor/osrm-backend
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 3 Wiki Activity

Removes Gnu Date Usage 👴

Browse Source 
\U+1Fstallman-emoji
This commit is contained in:
Daniel J. Hofmann 2016-10-18 13:54:03 -07:00 committed by Patrick Niklaus
parent 3f0f0e306b
commit ca21b8833a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/timer.sh
View File

@ -7,6 +7,6 @@ START=$(date "+%s.%N")
/bin/bash -c "$CMD"
END=$(date "+%s.%N")
TIME="$(echo "$END - $START" | bc)s"
NEW_ENTRY="$NAME\t$TIME\t$(date -Iseconds)"
NEW_ENTRY="$NAME\t$TIME"
echo -e "$NEW_ENTRY" >> $TIMINGS_FILE