+# Detect a working time command
+if env time --quiet -f%U true 2>/dev/null; then
+ TIME="env time --quiet -f%U -o ${name}.t.out"
+elif env time -f%U true 2>/dev/null; then
+ TIME="env time -f%U -o ${name}.t.out"
+else
+ TIME=
+fi
+
+# Detect a working date command
+if date -Iseconds >/dev/null 2>&1; then
+ TIMESTAMP="timestamp='`date -Iseconds`'"
+else
+ TIMESTAMP=
+fi
+