diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/pintool_static.mpb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config/pintool_static.mpb b/config/pintool_static.mpb index 5496dd65..c55fe0c5 100644 --- a/config/pintool_static.mpb +++ b/config/pintool_static.mpb @@ -25,7 +25,6 @@ project : pin_static { else # TODO Add support for linking against gcc libraries included with Pin CPPFLAGS += -DTARGET_LINUX - LIBS += -static LDFLAGS += -Wl,--hash-style=sysv -Wl,-Bsymbolic endif } |