diff options
| author | Johnny Willemsen <jwillemsen@remedy.nl> | 2021-11-15 08:24:57 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-15 08:24:57 +0100 |
| commit | 67edd5be74f681eedb099ad36b98d3fa3e4808d1 (patch) | |
| tree | 51b4b1e105014b8af8093717873da2e520f5a7ba | |
| parent | 7b5fe9d3b3fd04c34123a1933384b2d1de0fec4f (diff) | |
| download | MPC-pin.tar.gz | |
Update pin_base.mpbpin
| -rw-r--r-- | config/pin_base.mpb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/pin_base.mpb b/config/pin_base.mpb index 75e4e927..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 + $(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 |