summaryrefslogtreecommitdiff
path: root/cesar/common/make
diff options
context:
space:
mode:
authorNicolas Schodet2012-10-22 13:24:48 +0200
committerNicolas Schodet2012-10-31 15:42:13 +0100
commit5c018decde2a963a35534262032bf55d5fbff1d4 (patch)
tree8c0a03f8b79ae9bc5bf76adb38f21e9b14e213a2 /cesar/common/make
parent80813fdf035fd85ba24034817e083c44c12d2904 (diff)
cesar/common/make: fix problem with coverage and eCos, closes #3454
Problem introduced in 979d492489aac93721f90918efa4ed75250a162b.
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