X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Makefile;h=360dbd64eefdf03362258f9a968ad1ee9f8b25bf;hb=0f2e5f3934c769e0e76f290b80b0647dcfc3ade2;hp=5c7942a31f5e2717b32d32185b6f8b6d85647f2a;hpb=bcba92d4282bcefdae71953e451cdab3b1896a46;p=palacios.git diff --git a/Makefile b/Makefile index 5c7942a..360dbd6 100644 --- a/Makefile +++ b/Makefile @@ -615,7 +615,7 @@ palacios: libv3vee.a -linux_module/v3vee.ko: linux_module/*.c libv3vee.a +linux_module/v3vee.ko: linux_module/*.c linux_module/*.h libv3vee.a cd linux_module/ && make CONFIG_LINUX_KERN=$(CONFIG_LINUX_KERN) cp linux_module/v3vee.ko v3vee.ko