X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_pause.c;h=193ba57f4f8547ccdf10617757ca2ebaa089b19d;hb=bd229a86fee7c3cc33a81986ac46186ad67c869e;hp=ddf7c471f92ce1c50fa0375292a5b2ed2b805576;hpb=9d3b3018dfa76f3612eff68e78aaf636496c4fe4;p=palacios.releases.git

diff --git a/linux_usr/v3_pause.c b/linux_usr/v3_pause.c
index ddf7c47..193ba57 100644
--- a/linux_usr/v3_pause.c
+++ b/linux_usr/v3_pause.c
@@ -23,7 +23,7 @@ int main(int argc, char* argv[]) {
  
 
     if (argc <= 1) {
-	printf("Usage: ./v3_stop <vm-dev>\n");
+	printf("usage: v3_pause <vm_device>\n");
 	return -1;
     }