#include "config.h"
#include "beemitter.h"
+#include "be_t.h"
#include "irnode_t.h"
#include "irprintf.h"
#include "ident.h"
void be_emit_finish_line_gas(const ir_node *node)
{
- dbg_info *dbg;
- src_loc_t loc;
+ dbg_info *dbg;
+ src_loc_t loc;
- if (node == NULL) {
+ if (node == NULL || !be_options.verbose_asm) {
be_emit_char('\n');
be_emit_write_line();
return;