diff options
author | Rodrigo Kumpera <kumpera@gmail.com> | 2012-12-13 02:53:45 +0400 |
---|---|---|
committer | Rodrigo Kumpera <kumpera@gmail.com> | 2012-12-13 02:53:45 +0400 |
commit | a14e9e5650d978bf21a57470d2a3edeb164407ea (patch) | |
tree | e4be8e70322cc2a7ec7956023dfa3f429401a6e2 /autogen.sh | |
parent | e77323cbdcfd381b16eab96556b592ed4988b639 (diff) |
Simple Automake concatenation is not enough to do all the evil things.
* autogen.sh: Automake does support adding files to the list of program
sources using += but has no -= to remove them. This means that it's
not possible to replace a source file at all.
Given that, the only option is to patch automake. Call an external
script that apply the whole patch queue instead of doing it there.
Diffstat (limited to 'autogen.sh')
-rwxr-xr-x | autogen.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/autogen.sh b/autogen.sh index fc2550142b2..a01a29711a1 100755 --- a/autogen.sh +++ b/autogen.sh @@ -114,7 +114,9 @@ for PARAM; do done if test x$has_ext_mod = xtrue; then - cat mono/mini/Makefile.am.in ../mono-extensions/mono/mini/Makefile.am > mono/mini/Makefile.am + pushd ../mono-extensions/scripts + sh ./prepare-repo.sh || exit 1 + popd else cat mono/mini/Makefile.am.in > mono/mini/Makefile.am fi |