X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=linux_usr%2Fv3_reset.c;h=944e658521464d341fcf940160233ac145ac7f43;hp=7335b787aa3b3ddcaa8cadc9e2a985569c1aa97f;hb=471edd59ca70371e97cbad759e1710433f35990d;hpb=9452a96dc7cfcadaa81a32a36acc1a95bc1844db

diff --git a/linux_usr/v3_reset.c b/linux_usr/v3_reset.c
index 7335b78..944e658 100644
--- a/linux_usr/v3_reset.c
+++ b/linux_usr/v3_reset.c
@@ -52,6 +52,9 @@ int main(int argc, char* argv[]) {
 	    cmd.first_core = atoi(argv[3]);
 	    cmd.num_cores = atoi(argv[4]);
 	}
+    } else {
+	usage();
+	return -1;
     }
 
     printf("Doing VM reset:  %s ",