summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
Diffstat (limited to 'config')
-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) {