Report error when choosing incorrect GPU backend.

2022-10-19 14:46:20 +02:00
parent dce3327404
commit 57ae554740
1 changed files with 5 additions and 0 deletions
--- a/source/creator/creator_args.c
+++ b/source/creator/creator_args.c
@@ -1141,7 +1141,12 @@ static int arg_handle_gpu_backend_set(int argc, const char **argv, void *UNUSED(
    printf("\nError: Unrecognized GPU backend for '--gpu-backend'.\n");
    return 0;
  }
+
  GPU_backend_type_selection_set(gpu_backend);
+  if (!GPU_backend_supported()) {
+    printf("\nError: GPU backend not supported.\n");
+    return 0;
+  }

  return 1;
 }