summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSai Pavan Kumar Meruga <35487807+saipavanmeruga@users.noreply.github.com>2023-02-10 11:50:14 -0500
committerGitHub <noreply@github.com>2023-02-10 11:50:14 -0500
commit4159747bce02514e08f0f01da4b519b76826a039 (patch)
treef94175e87573d8be666fea2113f2d0a8e901f1b4
parente60ef0db4530accba250d872e16132bcbc2183d0 (diff)
downloadMPC-4159747bce02514e08f0f01da4b519b76826a039.tar.gz
Update pintool_static.mpb
-rw-r--r--config/pintool_static.mpb1
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
}