svn rev #3319: branches/krb5-appl-1-0/tests/config/

[ghudson@MIT.EDU]

Commit By: ghudson
Log Message:
Pull up r3310 from trunk.

 ------------------------------------------------------------------------
 r3310 | ghudson | 2011-07-11 15:05:25 -0400 (Mon, 11 Jul 2011) | 2 lines

 Work around a bug where "clock" can fail in dejagnu scripts.



Changed Files:
U   branches/krb5-appl-1-0/tests/config/default.exp
Modified: branches/krb5-appl-1-0/tests/config/default.exp
===================================================================
--- branches/krb5-appl-1-0/tests/config/default.exp	2011-07-11 19:32:30 UTC (rev 3318)
+++ branches/krb5-appl-1-0/tests/config/default.exp	2011-07-11 19:33:00 UTC (rev 3319)
@@ -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