diff --git a/prf-gazebo-ros-pkgs/Makefile b/prf-gazebo-ros-pkgs/Makefile index a3a1f7058ba6a36e81168f3c4ad951b9441a120c..79d8f31d039be097765e542ea0b8b5f44c9dba65 100644 --- a/prf-gazebo-ros-pkgs/Makefile +++ b/prf-gazebo-ros-pkgs/Makefile @@ -16,6 +16,8 @@ CATEGORIES= wip MASTER_REPOSITORY= ${MASTER_REPOSITORY_GITHUB}${ORG}/${NAME}.git CHECKOUT_VCS_OPTS+= --recursive +ONLY_FOR_PLATFORM= Ubuntu-16.04-% + HOMEPAGE= ${MASTER_SITE_GITHUB:=${ORG}/${ROSNAME}} MASTER_SITES= ${HOMEPAGE}/archive/