Harald Welte 1f4f6ef64b contrib/jenkins.sh: Also build host/gadget code ... Change-Id: Ided54d69a776ce2b86f4117a27fc7ad3b7a1a1d2		2019-10-09 14:37:56 +02:00
..
jenkins.sh	contrib/jenkins.sh: Also build host/gadget code	2019-10-09 14:37:56 +02:00