diff --git a/src/tools/makeMakefile.pl b/src/tools/makeMakefile.pl
index 70da74601..ef567a0b7 100644
--- a/src/tools/makeMakefile.pl
+++ b/src/tools/makeMakefile.pl
@@ -24,6 +24,7 @@ mkdir ($dir, 0777)  unless -d $dir;
 
 open OUT, "> $makefile"  or die "Cannot create $makefile";
 print OUT "T_A=$t_a\n";
+print OUT "BUILD_TYPE=$type\n";
 print OUT "include ../Makefile.$type\n";
 close OUT;