diff --git a/prf-gazebo-ros-pkgs-melodic/Makefile b/prf-gazebo-ros-pkgs-melodic/Makefile index 033a015607ae70567cc4adf9a9d3d812366fe5d4..268232261942cd48fd06a80f8c1757fbe624f221 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/