Update pintool.mpb

saipavanmeruga · web-flow · commit ae01bd4a9b72 · 2023-02-10T11:28:24.000-05:00
diff --git 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) {

Original file line number	Diff line number	Diff line change
`@@ -38,7 +38,7 @@ project : pin {`
`38`	`38`
`39`	`39`	`feature (ia32) {`
`40`	`40`	`specific (vc9) {`
`41`		`- link_ options += /ENTRY:Ptrace_DllMainCRTStartup@12`
	`41`	`+ link_options += /ENTRY:Ptrace_DllMainCRTStartup@12`
`42`	`42`	`}`
`43`	`43`
`44`	`44`	`specific (prop:microsoft) {`