summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLionel Landwerlin <[email protected]>2017-05-24 02:04:34 +0100
committerLionel Landwerlin <[email protected]>2017-05-24 10:50:18 +0100
commit359fa0e9a0e3b904622e91d2ce93debefb943312 (patch)
tree2585fc21822b67123155b9292d43a44004830aa3
parent8f1f1d294d47aa16ee4cc9e06a85900c951ac7a6 (diff)
aubinator: report error on unknown device id
Since we're going to stop aubinator without a valid device id, better report an error. This also silences a Coverity warning. CID: 1405004 Signed-off-by: Lionel Landwerlin <[email protected]> Reviewed-by: Iago Toral Quiroga <[email protected]>
-rw-r--r--src/intel/tools/aubinator_error_decode.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/intel/tools/aubinator_error_decode.c b/src/intel/tools/aubinator_error_decode.c
index a41292238cb..636f56a3365 100644
--- a/src/intel/tools/aubinator_error_decode.c
+++ b/src/intel/tools/aubinator_error_decode.c
@@ -635,7 +635,7 @@ read_data_file(FILE *file)
if (matched == 1) {
if (!gen_get_device_info(reg, &devinfo)) {
printf("Unable to identify devid=%x\n", reg);
- return;
+ exit(EXIT_FAILURE);
}
disasm = gen_disasm_create(reg);