X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2FMakefile;h=2a09f457f9b391a721af1f143e76d527e88b5d8e;hb=5c16780e3eb5e4ef59de8e929e2528bb07fce5ec;hp=5392207e54a5edc71adaeeb5e71ac6c043bdff59;hpb=8e9c13c41b0244a8d0029e837a623591a22c5879;p=palacios.releases.git

diff --git a/linux_usr/Makefile b/linux_usr/Makefile
index 5392207..2a09f45 100644
--- a/linux_usr/Makefile
+++ b/linux_usr/Makefile
@@ -37,6 +37,8 @@ v3_user_keyed_stream_file: v3_user_keyed_stream_file.c v3_user_keyed_stream.h v3
 v3_core_move : v3_core_move.c v3_ctrl.h
 	gcc -static v3_core_move.c -o v3_core_move
 
+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 v3_core_migrate