changeset 1990:e93e115b1903 draft

fix tasklog
author Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
date Sat, 19 Apr 2014 14:10:27 +0900
parents f4c16bdddee0
children 82e6eb0fa692
files TaskManager/kernel/main.cc
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/TaskManager/kernel/main.cc	Sat Apr 19 13:51:54 2014 +0900
+++ b/TaskManager/kernel/main.cc	Sat Apr 19 14:10:27 2014 +0900
@@ -11,7 +11,6 @@
 extern int TMmain(TaskManager* manager, int argc, char *argv[]);
 
 static int profile = 0;
-static int export_task_log = 0;
 
 /* Default TMend function */
 static void
@@ -38,6 +37,7 @@
     int gpuNum = 0;
     int speIdle = 0;
     int useRefDma = 0;
+    int export_task_log = 0;
 
     for (int i = 1; argv[i]; ++i) {
         if (strcmp(argv[i], "-cpu") == 0) {