summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSai Pavan Kumar Meruga <35487807+saipavanmeruga@users.noreply.github.com>2023-02-10 11:28:24 -0500
committerGitHub <noreply@github.com>2023-02-10 11:28:24 -0500
commitae01bd4a9b72d75b3336366af6b559f3c90d7187 (patch)
treec6b2c6bcf113f2840f4d6a83fc6ad9e9312bf6c3
parent5e53d581f1dbef225dbb470326520f55b0b1e5e0 (diff)
downloadMPC-ae01bd4a9b72d75b3336366af6b559f3c90d7187.tar.gz
Update pintool.mpb
-rw-r--r--config/pintool.mpb2
1 files changed, 1 insertions, 1 deletions
diff --git a/config/pintool.mpb b/config/pintool.mpb
index c13ca704..815e3442 100644
--- a/config/pintool.mpb
+++ b/config/pintool.mpb
@@ -38,7 +38,7 @@ project : pin {
feature (ia32) {
specific (vc9) {
- link_ options += /ENTRY:Ptrace_DllMainCRTStartup@12
+ link_options += /ENTRY:Ptrace_DllMainCRTStartup@12
}
specific (prop:microsoft) {