summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--cesar/common/make/ecos.mk2
1 files changed, 1 insertions, 1 deletions
diff --git a/cesar/common/make/ecos.mk b/cesar/common/make/ecos.mk
index 5622be75b1..a4b9f08c84 100644
--- a/cesar/common/make/ecos.mk
+++ b/cesar/common/make/ecos.mk
@@ -97,7 +97,7 @@ EXTRA_CLEAN += ecos.clean
.PHONY: ecos.all ecos.headers ecos.tree ecos.config ecos.compact-config ecos.clean
$(ECOS_LIBS) $(ECOS_LD_SCRIPT): ecos.all
-ecos.all: $(ECOS_TREE_STAMP)
+ecos.all: $(ECOS_HEADERS_STAMP)
@echo "MAKE [target] ecos.all"
$Q$(MAKE) $(ECOS_MAKEFLAGS) $(ECOS_SILENT) -C $(ECOS_BUILD_DIR)