Previous software interrupt support was added to Xed, but I wasn't using the kernel

[palacios-OLD.git] / utils / guest_creator / main.c

diff --git a/utils/guest_creator/main.c b/utils/guest_creator/main.c
index a3b427b..15b85ce 100644 (file)
--- a/utils/guest_creator/main.c
+++ b/utils/guest_creator/main.c
@@ -77,6 +77,10 @@ int main(int argc, char ** argv) {
     printf("Input: [%s] ==>>  Output: [%s]\n", infile, outfile);
 
     ezxml_t cfg_input = ezxml_parse_file(infile);
+    if (strcmp("", ezxml_error(cfg_input)) != 0) {
+       printf("%s\n", ezxml_error(cfg_input));
+       return -1;
+    }
 
     if (cfg_input == NULL) {
        printf("Could not open configuration input file: %s\n", infile);