projects / buildroot.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ea2a14d) | patch
package/xenomai: drop unrecognized option
authorFabrice Fontaine <fontaine.fabrice@gmail.com>
Tue, 19 Jan 2021 17:32:08 +0000 (18:32 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Tue, 19 Jan 2021 19:26:33 +0000 (20:26 +0100)
commit2585de4100045e3429edab42fab1f662255612e9
tree231d3544c82f8af4c8f54e43698da50d9e3c3e32tree
parentea2a14d54119cddbaf90e723de389956cb31c76ecommit | diff
package/xenomai: drop unrecognized option

--disable-doc-install is not available since version 3.0.6 and
https://gitlab.denx.de/Xenomai/xenomai/-/commit/6076f0951c7c37917c625b1aa1cd6905c27310f6

Signed-off-by: Fabrice Fontaine <fontaine.fabrice@gmail.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
package/xenomai/xenomai.mk diff | blob | history