Sun Mar 16 21:50:26 UTC 2014 James H. Hill <hillj@cs.iupui.edu>

1 files changed, 23 insertions, 8 deletions

diff --git a/config/pintool.mpb b/config/pintool.mpb
index 958fab08..aec81f19 100644
--- a/config/pintool.mpb
+++ b/config/pintool.mpb
@@ -1,15 +1,10 @@
 // $Id$
 
 project : pin {
-  specific (vc9) {
-    link_options += /EXPORT:main /ENTRY:Ptrace_DllMainCRTStartup@12
-  }
-
-  specific (vc10, vc11, vc12) {
-	  link_options += /EXPORT:main
-    EntryPointSymbol = Ptrace_DllMainCRTStartup@12
+  specific (prop:windows) {
+    link_options += /EXPORT:main
   }
-
+ 
   verbatim (make, top) {
     no_hidden_visibility = 1
   }
@@ -42,3 +37,23 @@ project : pin {
     endif
   }
 }
+
+feature (ia32) {
+  specific (vc9) {
+    link_options += /ENTRY:Ptrace_DllMainCRTStartup@12
+  }
+
+  specific (vc10, vc11, vc12) {
+    EntryPointSymbol = Ptrace_DllMainCRTStartup@12
+  }
+}
+
+feature (intel64) {
+  specific (vc9) {
+    link_options += /ENTRY:Ptrace_DllMainCRTStartup
+  }
+
+  specific (vc10, vc11, vc12) {
+    EntryPointSymbol = Ptrace_DllMainCRTStartup
+  }
+}