commit 74bbfd6de130c19339070682e379350c83c1e672 Author: Till Hofmann Date: Sat Oct 10 00:48:13 2020 +0200 plugins: build hardware-models after clips to resolve dependency diff --git a/src/plugins/Makefile b/src/plugins/Makefile index cc6731437..4f86cf2a4 100644 --- a/src/plugins/Makefile +++ b/src/plugins/Makefile @@ -47,6 +47,7 @@ clips-navgraph navgraph-clusters: navgraph clips-ros: clips ros robot-memory: mongodb clips-robot-memory: robot-memory +hardware-models: clips pddl-robot-memory: robot-memory openrave-robot-memory: robot-memory openrave pddl-planner: robot-memory