diff options
author | James H. Hill <hillj@cs.iupui.edu> | 2015-10-16 16:05:24 -0400 |
---|---|---|
committer | James H. Hill <hillj@cs.iupui.edu> | 2015-10-16 16:05:24 -0400 |
commit | 31128630969b8268d13dd25942aadd1bbe6602d5 (patch) | |
tree | 551138405bcf88808a1019e8dd069bb7b94964fa /config | |
parent | e84f63d6603a30383ab687f41f16c88698fee228 (diff) | |
download | MPC-31128630969b8268d13dd25942aadd1bbe6602d5.tar.gz |
Updated Linux config for Pin 71313
Diffstat (limited to 'config')
-rw-r--r-- | config/pintool.mpb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config/pintool.mpb b/config/pintool.mpb index 9d79ddc6..3e43496c 100644 --- a/config/pintool.mpb +++ b/config/pintool.mpb @@ -18,7 +18,7 @@ project : pin { LDFLAGS -= -lpthread else CPPFLAGS += -DTARGET_LINUX - LDLIBS += -ldwarf -lelf + LDLIBS += -lpindwarf LDFLAGS += -Wl,-Bsymbolic -Wl,--version-script=$(PIN_ROOT)/source/include/pin/pintool.ver endif } @@ -30,7 +30,7 @@ project : pin { LDFLAGS -= -lpthread else CPPFLAGS += -DTARGET_LINUX -Wl,--hash-style=sysv - LIBS += -ldwarf -lelf + LIBS += -lpindwarf LDFLAGS += -Wl,-Bsymbolic -Wl,--version-script=$(PIN_ROOT)/source/include/pin/pintool.ver endif } |