X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2FMakefile;h=a1e9bb417f2b825555ec7565e3a17a769cfceb6a;hb=2ee5d1ec27731b41027c42003608ad9c06d748e8;hp=3f4aedd94296ede4dbb7df4a061d692f7cb8fe7f;hpb=780b4edcfe6d8da3ca01cc7fc9ca25cdddf782af;p=palacios.git

diff --git a/linux_usr/Makefile b/linux_usr/Makefile
index 3f4aedd..a1e9bb4 100644
--- a/linux_usr/Makefile
+++ b/linux_usr/Makefile
@@ -34,8 +34,8 @@ v3_user_keyed_stream_example: v3_user_keyed_stream_example.c v3_user_keyed_strea
 v3_user_keyed_stream_file: v3_user_keyed_stream_file.c v3_user_keyed_stream.h v3_user_keyed_stream.c
 	gcc -static -I../linux_module v3_user_keyed_stream_file.c v3_user_keyed_stream.c -o v3_user_keyed_stream_file
 
-
-
+v3_inject_ecc_scrubber_mce: v3_inject_ecc_scrubber_mce.c
+	gcc -static -I../linux_module v3_inject_ecc_scrubber_mce.c -o v3_inject_ecc_scrubber_mce
 
 clean:
 	rm -f v3_ctrl v3_cons v3_mem v3_monitor v3_stream v3_user_host_dev_example v3_os_debug v3_user_keyed_stream_example v3_user_keyed_stream_file