Cleaned up help messages for userspace utils

[palacios.git] / linux_usr / Makefile

diff --git a/linux_usr/Makefile b/linux_usr/Makefile
index 6b60433..1a0be11 100644 (file)
--- a/linux_usr/Makefile
+++ b/linux_usr/Makefile
@@ -24,7 +24,8 @@ BASE_EXECS =  v3_mem \
                v3_cons_sc \
                v3_stream \
                v3_monitor \
-                v3_hypercall 
+                v3_hypercall \
+               v3_debug
 
 #
 # Examples
@@ -40,7 +41,8 @@ EXAMPLE_EXECS = v3_user_host_dev_example \
 EXPERIMENTAL_EXECS =   v3_simulate  \
                        v3_inject_ecc_scrubber_mce  \
                         v3_top_inject \
-                        v3_env_inject 
+                        v3_env_inject \
+                                               v3_syscall
 
 
 
@@ -50,7 +52,7 @@ EXPERIMENTAL_EXECS =  v3_simulate  \
 #
 PRECOMPILED_EXECS = x0vncserver
 
-COPIED_EXECS = v3_vncserver
+COPIED_EXECS = v3_x0vncserver
 
 #
 # Libraries that we need to build
@@ -133,8 +135,8 @@ v3_user_keyed_stream_file : v3_user_keyed_stream_file.c libv3_user_keyed_stream.
 #
 # VNC support is compiled separately
 #
-v3_vncserver : x0vncserver
-       cp x0vncserver v3_vncserver
+v3_x0vncserver : x0vncserver
+       cp x0vncserver v3_x0vncserver
 
 
 #
@@ -146,4 +148,3 @@ clean:
 depend:
        $(CC) -MM $(CFILES) -I../linux_module > .dependencies
 
-include .dependencies