socl/src/init.c: do not call starpu_shutdown() if starpu_init() returned ENODEV

socl/src/init.c

@@ -88,7 +88,7 @@ void soclShutdown() {
          gc_print_remaining_entities();
       }
 
-      if( _starpu_init )
+      if( _starpu_init && _starpu_init_failed != -ENODEV)
          starpu_shutdown();
       starpu_pthread_mutex_unlock(&_socl_mutex);