From 44d7fe4f5f716c46088d9e99506ef5f95559790a Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Sat, 4 Jan 2020 15:40:36 +0100
Subject: [PATCH] [wip/prf-gazebo-ros-pkgs-melodic] Specificies that it is only
for Ubuntu-18.04
---
prf-gazebo-ros-pkgs-melodic/Makefile | 2 ++
1 file changed, 2 insertions(+)
diff --git a/prf-gazebo-ros-pkgs-melodic/Makefile b/prf-gazebo-ros-pkgs-melodic/Makefile
index 033a0156..26823226 100644
--- a/prf-gazebo-ros-pkgs-melodic/Makefile
+++ b/prf-gazebo-ros-pkgs-melodic/Makefile
@@ -15,6 +15,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/
--
GitLab