diff options
author | James H. Hill <hillj@cs.iupui.edu> | 2015-01-28 22:22:43 -0500 |
---|---|---|
committer | James H. Hill <hillj@cs.iupui.edu> | 2015-01-28 22:22:43 -0500 |
commit | 937d956976653740d1eeee1bdc4644fed8447bd4 (patch) | |
tree | 35e88c9009717214b942d220b103961750bbaa06 /config | |
parent | 76d67212a84778b0a2564f495dce936371b00cae (diff) | |
download | MPC-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.mpb | 5 |
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 } } |