diff options
Diffstat (limited to 'doc/openjade/PRE_BUILD')
| -rwxr-xr-x | doc/openjade/PRE_BUILD | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/openjade/PRE_BUILD b/doc/openjade/PRE_BUILD index 4ba8b9285f..dfddac3e37 100755 --- a/doc/openjade/PRE_BUILD +++ b/doc/openjade/PRE_BUILD @@ -1,3 +1,7 @@ default_pre_build && patch $SOURCE_DIRECTORY/style/MultiLineInlineNote.cxx \ $SCRIPT_DIRECTORY/gcc43.patch + +cd $SOURCE_DIRECTORY && + +patch -p1 < $SCRIPT_DIRECTORY/openjade-1.3.2-gcc-4.6-1.patch |