++debug does not work with ++local, message to user
authorEhsan <totoni2@illinois.edu>
Thu, 13 Oct 2011 22:05:07 +0000 (17:05 -0500)
committerEhsan <totoni2@illinois.edu>
Thu, 13 Oct 2011 22:05:07 +0000 (17:05 -0500)
src/arch/net/charmrun/charmrun.c

index 6ee9c3d62769d78b9c7dc377ffc3d5965de93b7f..0b04fc1eb62964a7e434fcbb25fb3097cc5672ff 100644 (file)
@@ -967,6 +967,10 @@ void arg_init(int argc, char **argv)
       exit(1);
     }
 #endif
+if(arg_debug && arg_local){
+       printf("++debug cannot be used with ++local.\n");
+       exit(0);
+       }
 }
 
 /****************************************************************************