/* serial port */
if ( (strcmp(argv[i],"-S") == 0) ||
- (strcmp(argv[i],"-s") == 0)) {
- simArgs[nsimArgs++] = strdup(argv[i]);
+ (strcmp(argv[i],"-s") == 0) ||
+ (strcmp(argv[i],"-T") == 0) ||
+ (strcmp(argv[i],"--tty") == 0)) {
+ simArgs[nsimArgs++] = "--tty";
simArgs[nsimArgs++] = strdup(argv[++i]);
continue ;
}
printf("WARNING: SDCDB is EXPERIMENTAL.\n");
current_directory = get_current_dir_name();
- simArgs[nsimArgs++] = "s51";
+ simArgs[nsimArgs++] = "ao-dbg";
simArgs[nsimArgs++] = "-P";
simArgs[nsimArgs++] = "-r 9756";
/* parse command line */