]> rtime.felk.cvut.cz Git - jailhouse.git/blobdiff - driver/main.c
core/driver: Move version.h to generated directory
[jailhouse.git] / driver / main.c
index 86299d51df6455036b1a32ab39a028e31ab96900..e504d8d69cd93a69fea3f7038e22317d9fa7887f 100644 (file)
@@ -35,7 +35,7 @@
 #include <jailhouse/cell-config.h>
 #include <jailhouse/header.h>
 #include <jailhouse/hypercall.h>
-#include <jailhouse/version.h>
+#include <generated/version.h>
 
 #ifdef CONFIG_X86_32
 #error 64-bit kernel required!