| Damjan Marion | 7cd468a | 2016-12-19 23:05:39 +0100 | [diff] [blame] | 1 | tools_source = src |
| Damjan Marion | cb034b9 | 2016-12-28 18:38:59 +0100 | [diff] [blame] | 2 | tools_configure_args = --disable-vlib --disable-svm --disable-japi |
| Damjan Marion | 7cd468a | 2016-12-19 23:05:39 +0100 | [diff] [blame] | 3 |