From 01d65014d1238772b80f2c69dffca51b09c3a7a9 Mon Sep 17 00:00:00 2001
From: Hans Hagen <pragma@wxs.nl>
Date: Fri, 7 Dec 2007 19:14:00 +0100
Subject: stable 2007.12.07 19:14

---
 scripts/context/lua/luatools.lua | 2 +-
 scripts/context/lua/mtxrun.lua   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'scripts')

diff --git a/scripts/context/lua/luatools.lua b/scripts/context/lua/luatools.lua
index 7740bf524..26902a4bc 100644
--- a/scripts/context/lua/luatools.lua
+++ b/scripts/context/lua/luatools.lua
@@ -6012,7 +6012,7 @@ end
 
 if input.verbose then
     input.report("")
-    input.report("runtime: " .. os.runtime() .. " seconds")
+    input.report(string.format("runtime: %0.3f seconds",os.runtime()))
 end
 
 --~ if ok then
diff --git a/scripts/context/lua/mtxrun.lua b/scripts/context/lua/mtxrun.lua
index fb7ad475f..5a0e3aaeb 100644
--- a/scripts/context/lua/mtxrun.lua
+++ b/scripts/context/lua/mtxrun.lua
@@ -7474,7 +7474,7 @@ end
 
 --~ if input.verbose then
 --~     input.report("")
---~     input.report("runtime: " .. os.runtime() .. " seconds")
+--~     input.report(string.format("runtime: %0.3f seconds",os.runtime()))
 --~ end
 
 --~ if ok then
-- 
cgit v1.2.3