summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorJames H. Hill <hillj@cs.iupui.edu>2015-01-28 22:22:43 -0500
committerJames H. Hill <hillj@cs.iupui.edu>2015-01-28 22:22:43 -0500
commit937d956976653740d1eeee1bdc4644fed8447bd4 (patch)
tree35e88c9009717214b942d220b103961750bbaa06 /config
parent76d67212a84778b0a2564f495dce936371b00cae (diff)
downloadMPC-937d956976653740d1eeee1bdc4644fed8447bd4.tar.gz
Updated base project to use pin, while removing the Pin shared
library from the libs configuration.
Diffstat (limited to 'config')
-rw-r--r--config/pin_static.mpb5
1 files changed, 4 insertions, 1 deletions
diff --git a/config/pin_static.mpb b/config/pin_static.mpb
index f32b47ab..5a1f9529 100644
--- a/config/pin_static.mpb
+++ b/config/pin_static.mpb
@@ -1,5 +1,8 @@
-project : pin_base {
+// $Id: pin_static.mpb 2166 2013-11-17 18:25:37Z hillj $
+
+project : pin {
specific (!prop:windows) {
libs += sapin
+ libs -= pin
}
}