summaryrefslogtreecommitdiff
path: root/frontends/vhdl2verilog
diff options
context:
space:
mode:
Diffstat (limited to 'frontends/vhdl2verilog')
-rw-r--r--frontends/vhdl2verilog/vhdl2verilog.cc3
1 files changed, 2 insertions, 1 deletions
diff --git a/frontends/vhdl2verilog/vhdl2verilog.cc b/frontends/vhdl2verilog/vhdl2verilog.cc
index de393693..0467810e 100644
--- a/frontends/vhdl2verilog/vhdl2verilog.cc
+++ b/frontends/vhdl2verilog/vhdl2verilog.cc
@@ -145,7 +145,8 @@ struct Vhdl2verilogPass : public Pass {
}
log_header("Removing temp directory `%s':\n", tempdir_name);
- system(stringf("rm -rf '%s'", tempdir_name).c_str());
+ if (system(stringf("rm -rf '%s'", tempdir_name).c_str()) != 0)
+ log_error("Execution of \"rm -rf '%s'\" failed!\n", tempdir_name);
log_pop();
}