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