summaryrefslogtreecommitdiff
path: root/cesar/common/make
diff options
context:
space:
mode:
Diffstat (limited to 'cesar/common/make')
-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 8e97c14135..2c6cc6b63b 100644
--- a/cesar/common/make/ecos.mk
+++ b/cesar/common/make/ecos.mk
@@ -28,7 +28,7 @@ $2_ECOS_CONFIG := $$($2_ECOS_DIR)/ecos.ecc
$2_ECOS_CONFIG_COV := $$($2_ECOS_CONFIG:%.ecc=%-cov.ecc)
$2_ECOS_CONFIG_FOR_TREE := $$($2_ECOS_CONFIG)
ifneq ($$($2_COV)$$(COV),)
- ECOS_CONFIG_FOR_TREE := $$($2_ECOS_CONFIG_COV)
+ $2_ECOS_CONFIG_FOR_TREE := $$($2_ECOS_CONFIG_COV)
endif
$2_ECOS_NEW_CONFIG_COMPACT := $3new-ecos.ecc.sh
$2_ECOS_NEW_CONFIG := $3new-ecos.ecc