diff options
Diffstat (limited to 'config/pintool.mpb')
| -rw-r--r-- | config/pintool.mpb | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/config/pintool.mpb b/config/pintool.mpb index fbe2a501..9e909b17 100644 --- a/config/pintool.mpb +++ b/config/pintool.mpb @@ -1,10 +1,15 @@ // $Id$ project : pin { - specific (prop:windows) { + specific (vc9) { link_options += /EXPORT:main /ENTRY:Ptrace_DllMainCRTStartup@12 } + specific (vc10) { + link_options += /EXPORT:main + EntryPointSymbol = Ptrace_DllMainCRTStartup@12 + } + verbatim (make, top) { no_hidden_visibility = 1 } |