diff --git a/tools/libxl/libxl_pci.c b/tools/libxl/libxl_pci.c index 842d5b0463..33dd0606d4 100644 --- a/tools/libxl/libxl_pci.c +++ b/tools/libxl/libxl_pci.c @@ -930,6 +930,7 @@ skip1: } } fclose(f); + break; } default: abort();