Harald Welte 6312b444b9 contrib/jenkins.sh: Also build host/gadget code ... Change-Id: Ided54d69a776ce2b86f4117a27fc7ad3b7a1a1d2		2019-10-09 17:58:15 +02:00
..
jenkins.sh	contrib/jenkins.sh: Also build host/gadget code	2019-10-09 17:58:15 +02:00