diff options
Diffstat (limited to 'extras/mini-os/main.c')
-rw-r--r-- | extras/mini-os/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/main.c b/extras/mini-os/main.c index dac185a528..5857c0bd4c 100644 --- a/extras/mini-os/main.c +++ b/extras/mini-os/main.c @@ -52,6 +52,7 @@ static void call_main(void *p) #ifdef CONFIG_QEMU char *vm; char path[128]; + int domid; #endif int i; @@ -74,7 +75,6 @@ static void call_main(void *p) } /* Fetch argc, argv from XenStore */ - int domid; domid = xenbus_read_integer("target"); if (domid == -1) { printk("Couldn't read target\n"); |