Include nanoseconds in timestamps

diff --git a/maint/travis-ci_scripts/common.bash b/maint/travis-ci_scripts/common.bash
index 2588621..4c6c10a 100755 (executable)
--- a/maint/travis-ci_scripts/common.bash
+++ b/maint/travis-ci_scripts/common.bash
@@ -12,7 +12,7 @@ if [[ "$TRAVIS" != "true" ]] ; then
   exit 1
 fi
 
-tstamp() { echo -n "[$(date '+%H:%M:%S')]" ; }
+tstamp() { echo -n "[$(date '+%H:%M:%S.%N')]" ; }
 
 ci_vm_state_text() {
   echo "