| | 40 | |
| | 41 | EDIT: Patch to reproduce locally (without Jenkins, and without building all the plugins) |
| | 42 | {{{ |
| | 43 | #!patch |
| | 44 | diff --git a/plugins/build.xml b/plugins/build.xml |
| | 45 | index 44b022410..632a9e194 100644 |
| | 46 | --- a/plugins/build.xml |
| | 47 | +++ b/plugins/build.xml |
| | 48 | @@ -23,14 +23,18 @@ |
| | 49 | <property name="javafx_plugins" value="javafx/build.xml |
| | 50 | Mapillary/build.xml |
| | 51 | MicrosoftStreetside/build.xml"/> |
| | 52 | + <property name="failing_plugins" value="Mapillary-git/build.xml"/> |
| | 53 | <macrodef name="iterate"> |
| | 54 | <attribute name="target"/> |
| | 55 | <sequential> |
| | 56 | <subant target="@{target}" inheritall="true"> |
| | 57 | - <filelist dir="." files="${ordered_plugins}"/> |
| | 58 | + <!--<filelist dir="." files="${ordered_plugins}"/>--> |
| | 59 | <!-- Build JavaFX plugins only with Java 11+ --> |
| | 60 | + <!-- |
| | 61 | <filelist dir="." files="${javafx_plugins}" if:set="isJava11"/> |
| | 62 | <fileset dir="." includes="*/build.xml" excludes="00_*/build.xml *.wip/build.xml ${javafx_plugins} ${ordered_plugins}"/> |
| | 63 | + --> |
| | 64 | + <filelist dir="." files="${failing_plugins}"/> |
| | 65 | </subant> |
| | 66 | </sequential> |
| | 67 | </macrodef> |
| | 68 | }}} |