/* ===================================================================== Source: defer.rule ===================================================================== */ defer_cmd : DEFER_INTERRUPT { set_cmdlineno(token_read_on_line); $$=new_defer_cmd(EDEFER_INTERRUPT); add_feature("DEFER_INTERRUPT"); //print_defer(0); } | DEFER_QUIT { //set_cmdlineno(token_read_on_line); $$=new_defer_cmd(EDEFER_QUIT); add_feature("DEFER_QUIT"); //print_defer(1); } ;