svn rev #3310: trunk/tests/config/

[ghudson@MIT.EDU]

Commit By: ghudson
Log Message:
Work around a bug where "clock" can fail in dejagnu scripts.



Changed Files:
U   trunk/tests/config/default.exp
Modified: trunk/tests/config/default.exp
===================================================================
--- trunk/tests/config/default.exp	2011-04-26 18:42:00 UTC (rev 3309)
+++ trunk/tests/config/default.exp	2011-07-11 19:05:25 UTC (rev 3310)
@@ -1436,7 +1436,7 @@
     set spawnid $spawn_id
     set pid [exp_pid]
 
-    set markstr "===MARK $pid [clock format [clock seconds]] ==="
+    set markstr "===MARK $pid ==="
     puts $f $markstr
     flush $f