Changeset 753 for soft/giet_vm/giet_kernel

Timestamp:

Jan 6, 2016, 5:14:34 PM (10 years ago)

Author:

cfuguet

Message:

Introducing the coremark benchmark

File:

• soft/giet_vm/giet_kernel/sys_handler.c (modified) (1 diff)

soft/giet_vm/giet_kernel/sys_handler.c

@@ -959 +959 @@
 
     // print exit message
-    if ( string == NULL )
-    {
-        _printf("\n[GIET WARNING] Exit thread %x in application %s\n",
-                trdid , vspace[vsid].name );
-    }
-    else
+    if ( string != NULL )
     {
         _printf("\n[GIET WARNING] Exit thread %x in vspace %s\n"