summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohnny Willemsen <jwillemsen@remedy.nl>2021-11-15 10:34:35 +0100
committerGitHub <noreply@github.com>2021-11-15 10:34:35 +0100
commit652cd975e71b6a1ec1f4526daa76264ca7e2f152 (patch)
tree51b4b1e105014b8af8093717873da2e520f5a7ba
parentf167fbd9f85405b0ce1072b0cad13f64557ced7f (diff)
parent67edd5be74f681eedb099ad36b98d3fa3e4808d1 (diff)
downloadMPC-652cd975e71b6a1ec1f4526daa76264ca7e2f152.tar.gz
Merge pull request #149 from DOCGroup/pinocitao22ap22ACE+TAO-7_0_5ACE+TAO-6_5_16
Fix configuration issue in pin base project
-rw-r--r--config/pin_base.mpb2
1 files changed, 1 insertions, 1 deletions
diff --git a/config/pin_base.mpb b/config/pin_base.mpb
index 261b367e..72ba3fbf 100644
--- a/config/pin_base.mpb
+++ b/config/pin_base.mpb
@@ -5,7 +5,7 @@ project {
$(PIN_ROOT)/source/include/pin \
$(PIN_ROOT)/source/include/pin/gen \
$(PIN_ROOT)/extras/components/include \
- ..
+ $(PIN_ROOT)/extras/crt/include
macros += BIGARRAY_MULTIPLIER=1 USING_XED PIN_CRT=1 __PIN__=1
lit_libs += c-dynamic m-dynamic stlport-dynamic dl-dynamic unwind-dynamic