From 9ab114b6a7e0723135555ed202886f47c032f511 Mon Sep 17 00:00:00 2001
From: Jeremie Koenig <jk@jk.fr.eu.org>
Date: Sun, 22 Aug 2010 20:17:54 +0000
Subject: Add --clk-tck to set the clock unit

* main.c (argp_parser, main): Add and parse the --clk-tck option.
* main.h: Publish opt_clk_tck.
* process.c (sc_tc): Use the user-provided clock frequency.
* rootdir.c (rootdir_gc_stat): Likewise.
---
 main.h | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 main.h

(limited to 'main.h')

diff --git a/main.h b/main.h
new file mode 100644
index 00000000..4b2ef9a1
--- /dev/null
+++ b/main.h
@@ -0,0 +1,2 @@
+/* Startup options */
+extern int opt_clk_tck;
-- 
cgit v1.2.3