commit 74bbfd6de130c19339070682e379350c83c1e672
Author: Till Hofmann <hofmann@kbsg.rwth-aachen.de>
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