summaryrefslogtreecommitdiff
path: root/config/pintool.mpb
diff options
context:
space:
mode:
authorelliott_c <ocielliottc@users.noreply.github.com>2014-06-27 13:57:05 +0000
committerelliott_c <ocielliottc@users.noreply.github.com>2014-06-27 13:57:05 +0000
commit88c0e52ba8c0849f0a0fb8d709e0e9eecf0ed23e (patch)
tree62739500b9e74268d70a2b13cd56f194928d3533 /config/pintool.mpb
parent32f3e9c352ec4fc3eb50399deade300676f7f9d3 (diff)
downloadMPC-88c0e52ba8c0849f0a0fb8d709e0e9eecf0ed23e.tar.gz
ChangeLogTag: Fri Jun 27 13:55:06 UTC 2014 Chad Elliott <elliott_c@ociweb.com>
Diffstat (limited to 'config/pintool.mpb')
-rw-r--r--config/pintool.mpb4
1 files changed, 2 insertions, 2 deletions
diff --git a/config/pintool.mpb b/config/pintool.mpb
index 65a01390..04b8567e 100644
--- a/config/pintool.mpb
+++ b/config/pintool.mpb
@@ -43,7 +43,7 @@ feature (ia32) {
link_options += /ENTRY:Ptrace_DllMainCRTStartup@12
}
- specific (vc10, vc11, vc12, vc14) {
+ specific (vc10, vc11, vc12, vc13, vc14) {
EntryPointSymbol = Ptrace_DllMainCRTStartup@12
}
}
@@ -53,7 +53,7 @@ feature (intel64) {
link_options += /ENTRY:Ptrace_DllMainCRTStartup
}
- specific (vc10, vc11, vc12, vc14) {
+ specific (vc10, vc11, vc12, vc13, vc14) {
EntryPointSymbol = Ptrace_DllMainCRTStartup
}
}