From cec424f369a00c933bb98461e1377b6b91a1e4b1 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 9 Oct 2016 23:14:31 +0200
Subject: [PATCH] round frequency to an integer

---
 hermit/tools/proxy.c | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c
index 936a8e0e9..127e67072 100644
--- a/hermit/tools/proxy.c
+++ b/hermit/tools/proxy.c
@@ -106,7 +106,8 @@ static void exit_handler(int sig)
 static char* cpufreq(void)
 {
 	char line[2048];
-	const char* match = NULL;
+	char* match;
+	char* point;
 
 	FILE* fp = fopen("/proc/cpuinfo", "r");
 	if (!fp)
@@ -120,6 +121,10 @@ static char* cpufreq(void)
 		for(; (*match < 0x30) || (*match > 0x39); match++)
 			;
 
+		for(point = match; ((*point != '.') && (*point != '\0')); point++)
+			;
+		*point = '\0';
+
 		snprintf(cmdline, MAX_PATH, "-freq%s", match);	
 		fclose(fp);