diff options
author | James H. Hill <hilljh82@gmail.com> | 2013-11-17 18:25:37 +0000 |
---|---|---|
committer | James H. Hill <hilljh82@gmail.com> | 2013-11-17 18:25:37 +0000 |
commit | d5573bcea0d6729b803dc7a73874415931ddf3aa (patch) | |
tree | 0f1dcac7cf006003c3fe975838da985e7c679237 /config/pintool_static.mpb | |
parent | bea8344f14846c98e764eeb36e8ee2ae14807da3 (diff) | |
download | MPC-d5573bcea0d6729b803dc7a73874415931ddf3aa.tar.gz |
Sat Nov 16 18:48:27 UTC 2013 James H. Hill <hillj@cs.iupui.edu>
Diffstat (limited to 'config/pintool_static.mpb')
-rw-r--r-- | config/pintool_static.mpb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config/pintool_static.mpb b/config/pintool_static.mpb new file mode 100644 index 00000000..51c7aaf4 --- /dev/null +++ b/config/pintool_static.mpb @@ -0,0 +1,5 @@ +// $Id$ + +project : pin_static { + +} |