diff --git a/tools/gen.pl b/tools/gen.pl
index 62304e46..db7472d0 100644
--- a/tools/gen.pl
+++ b/tools/gen.pl
@@ -22,6 +22,10 @@ $cpp =~ s@<util/prec.hpp>@$&\n#include <$file.hpp>@g;
 
 # write files
 
+if (-e "../src/$file.hpp" or -e "../src/$file.cpp") {
+	die "The output files already exist!";
+}
+
 open F, "> ../src/$file.hpp";
 print F $hpp;
 close F;