Report error when choosing incorrect GPU backend.temp-T101905-gpu-backend-argument

1 files changed, 5 insertions, 0 deletions

diff --git a/source/creator/creator_args.c b/source/creator/creator_args.c
index b4ea51c2c7f..4144603555b 100644
--- 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;
 }