Index: trunk/Softwares/MiBench/src/include/benchmark.h
===================================================================
--- trunk/Softwares/MiBench/src/include/benchmark.h	(revision 118)
+++ trunk/Softwares/MiBench/src/include/benchmark.h	(revision 124)
@@ -15,5 +15,5 @@
 void run_office_stringsearch  (void);
 
-void run_office_sha           (void);
+void run_security_sha         (void);
 
 #endif // benchmark_h
Index: trunk/Softwares/MiBench/src/include/workload.h
===================================================================
--- trunk/Softwares/MiBench/src/include/workload.h	(revision 118)
+++ trunk/Softwares/MiBench/src/include/workload.h	(revision 124)
@@ -12,16 +12,12 @@
 void (*WorkLoad[])() = 
 { 
-	(void *) run_office_stringsearch,
-	(void *) run_none,
-	(void *) run_none,
-	(void *) run_none,
-	(void *) run_none,
-	(void *) run_none,
-	(void *) run_none,
-	(void *) run_none
+	(void *) run_security_sha
 };
 
 #define NB_WORKLOAD   (sizeof(WorkLoad)/sizeof(void *))
-#define NB_THREAD_MAX 8
+
+# ifndef NB_THREAD_MAX
+#  error "NB_THREAD_MAX is undefined"
+# endif
 
 #endif //workload_h
Index: trunk/Softwares/MiBench/src/include/workload.h.sed
===================================================================
--- trunk/Softwares/MiBench/src/include/workload.h.sed	(revision 118)
+++ trunk/Softwares/MiBench/src/include/workload.h.sed	(revision 124)
@@ -16,5 +16,8 @@
 
 #define NB_WORKLOAD   (sizeof(WorkLoad)/sizeof(void *))
-#define NB_THREAD_MAX @NB_THREAD_MAX
 
-#endif workload_h
+# ifndef NB_THREAD_MAX
+#  error "NB_THREAD_MAX is undefined"
+# endif
+
+#endif //workload_h