diff --git a/src/tools/dbdExpand.pl b/src/tools/dbdExpand.pl index c9e10aa51..0157c6b84 100755 --- a/src/tools/dbdExpand.pl +++ b/src/tools/dbdExpand.pl @@ -44,6 +44,7 @@ while (@ARGV) { warn " Your Makefile may need this dependency rule:\n" . " $dep: \$(COMMON_DIR)/$file\n" if $@ =~ m/Can't find file/; + exit 1 unless $opt_D; } }