summaryrefslogtreecommitdiff
path: root/config/pintool.mpb
diff options
context:
space:
mode:
authorAdam Mitz <mitza@ociweb.com>2017-03-23 12:45:38 -0500
committerAdam Mitz <mitza@ociweb.com>2017-03-23 12:45:38 -0500
commitf768f02f08b7da6b7695a34638f130d932762c8b (patch)
tree5937259e45841a0150d486a2810fa4fa2a12cd8a /config/pintool.mpb
parent00101c36e379db4e0f5636deec94c80a2df90890 (diff)
downloadMPC-f768f02f08b7da6b7695a34638f130d932762c8b.tar.gz
Renamed "-type vc15" to vs2017. Updated documentation.
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 a9ffc668..a343f7e4 100644
--- a/config/pintool.mpb
+++ b/config/pintool.mpb
@@ -41,7 +41,7 @@ feature (ia32) {
link_options += /ENTRY:Ptrace_DllMainCRTStartup@12
}
- specific (vc10, vc11, vc12, vc14, vc15) {
+ specific (vc10, vc11, vc12, vc14, vs2017) {
EntryPointSymbol = Ptrace_DllMainCRTStartup@12
}
}
@@ -51,7 +51,7 @@ feature (intel64) {
link_options += /ENTRY:Ptrace_DllMainCRTStartup
}
- specific (vc10, vc11, vc12, vc14, vc15) {
+ specific (vc10, vc11, vc12, vc14, vs2017) {
EntryPointSymbol = Ptrace_DllMainCRTStartup
}
}