# HG changeset patch
# User Yuhi TOMARI <yuhi@cr.ie.u-ryukyu.ac.jp>
# Date 1352792779 -32400
# Node ID d232231e142520f309e91d9b865095fc18c3a9d0
# Parent  027d99ecb50eb4665f4d860ec0b00c8613df2b6f
remove warning.

diff -r 027d99ecb50e -r d232231e1425 TaskManager/Gpu/GpuScheduler.cc
--- a/TaskManager/Gpu/GpuScheduler.cc	Tue Nov 13 16:16:29 2012 +0900
+++ b/TaskManager/Gpu/GpuScheduler.cc	Tue Nov 13 16:46:19 2012 +0900
@@ -142,9 +142,8 @@
             }
 
             reply[cur] = (memaddr)tasklist->waiter;
-
-            clFlush(command_queue[cur]); // flush for queued task
-            clFinish(command_queue[cur]); // waiting for queued task
+            clFlush(command_queue[cur]); // waiting for queued task
+            //clFinish(command_queue[cur]); // waiting for queued task
             // pipeline    : 1-cur
             // no pipeline : cur
 
diff -r 027d99ecb50e -r d232231e1425 example/many_task/gpu/gpu_task_init.cc
--- a/example/many_task/gpu/gpu_task_init.cc	Tue Nov 13 16:16:29 2012 +0900
+++ b/example/many_task/gpu/gpu_task_init.cc	Tue Nov 13 16:46:19 2012 +0900
@@ -7,8 +7,6 @@
 void
 task_init(void)
 {
-    int a = SortSimple;
-    int b = QUICK_SORT;
     SchedRegister(SortSimple);
     GpuSchedRegister(QUICK_SORT, "gpu/QuickSort.cl", "quick_sort");
 }