diff options
Diffstat (limited to 'source')
| -rw-r--r-- | source/creator/creator_args.c | 5 |
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; } |