diff options
author | Chris Wilson <chris+github@qwirx.com> | 2009-11-11 19:21:48 +0000 |
---|---|---|
committer | Chris Wilson <chris+github@qwirx.com> | 2009-11-11 19:21:48 +0000 |
commit | f27e1a11c35ceeccdc9399fdf2ec8eb03df1b36e (patch) | |
tree | 113504cec56cc8ceafc9d4b2eaf4ec4851e1723b | |
parent | ecf6eb6278983c5831712d56bfa7cc58ef42571a (diff) |
Add support for Makefile.pre in build infrastructure.
-rwxr-xr-x | infrastructure/makebuildenv.pl.in | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/infrastructure/makebuildenv.pl.in b/infrastructure/makebuildenv.pl.in index 2130fe98..1b2f87e7 100755 --- a/infrastructure/makebuildenv.pl.in +++ b/infrastructure/makebuildenv.pl.in @@ -613,6 +613,12 @@ _RANLIB = \$(if \$(V),\$(RANLIB), @ echo " [RANLIB] \$@" && \$(RANLIB)) __E } + + # if there is a Makefile.pre, include it now + if(-e "$mod/Makefile.pre") + { + print MAKE ".include <Makefile.pre>\n\n"; + } # read directory opendir DIR,$mod; @@ -733,7 +739,7 @@ __E $has_deps = 1; $has_deps = 0 if $target_is_library; - # Depenency stuff + # Dependency stuff my $deps_makeinfo; if($has_deps) { |