From c58cfa7fdb251e6343c785ce8f69045483c54cff Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Sat, 4 Jan 2020 15:39:18 +0100
Subject: [PATCH] [wip/pal-gazebo-plugins-melodic] Specifies that it is only
 for Ubuntu-18.04

---
 pal-gazebo-plugins-melodic/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pal-gazebo-plugins-melodic/Makefile b/pal-gazebo-plugins-melodic/Makefile
index a68a8a2f..c4a05890 100644
--- a/pal-gazebo-plugins-melodic/Makefile
+++ b/pal-gazebo-plugins-melodic/Makefile
@@ -16,6 +16,8 @@ CATEGORIES=	wip
 MASTER_REPOSITORY=	${MASTER_REPOSITORY_GITHUB}${ORG}/${NAME}.git
 CHECKOUT_VCS_OPTS+=	--recursive
 
+ONLY_FOR_PLATFORM= Ubuntu-18.04-%
+
 HOMEPAGE=	${MASTER_SITE_GITHUB:=${ORG}/${ROSNAME}}
 MASTER_SITES=	${HOMEPAGE}/archive/
 COMMENT=	Common Gazebo v1.9+ plugins used by the PAL Robotics robots
-- 
GitLab