don't special-case simgrid now that we have proper pthread_self and pthread_equal for it

src/core/workers.c

@@ -1428,9 +1428,7 @@ static void _starpu_terminate_workers(struct _starpu_machine_config *pconfig)
 		{
 			if (set->started)
 			{
-#ifndef STARPU_SIMGRID
 				if (!starpu_pthread_equal(starpu_pthread_self(), set->worker_thread))
-#endif
 					status = starpu_pthread_join(set->worker_thread, NULL);
 				if (status)
 				{
@@ -1446,9 +1444,7 @@ static void _starpu_terminate_workers(struct _starpu_machine_config *pconfig)
 			if (!worker->run_by_starpu)
 				goto out;
 
-#ifndef STARPU_SIMGRID
 			if (!starpu_pthread_equal(starpu_pthread_self(), worker->worker_thread))
-#endif
 				status = starpu_pthread_join(worker->worker_thread, NULL);
 			if (status)
 			{