diff options
| author | Johnny Willemsen <jwillemsen@remedy.nl> | 2010-10-20 09:22:05 +0000 |
|---|---|---|
| committer | Johnny Willemsen <jwillemsen@remedy.nl> | 2010-10-20 09:22:05 +0000 |
| commit | fb7488d75b034c1e975343474526982f31c91cda (patch) | |
| tree | a1596d4ba35f7a0597bb6be67afc55280eb54b90 /config/nddsmonitor.mpb | |
| parent | f36c2f52c54d608c66a60d190e2e1e2e7e238e88 (diff) | |
| download | MPC-fb7488d75b034c1e975343474526982f31c91cda.tar.gz | |
Wed Oct 20 09:18:05 UTC 2010 Johnny Willemsen <jwillemsen@remedy.nl>
* config/nddsmonitor.mpb:
New base project for RTI ndds monitor library
Diffstat (limited to 'config/nddsmonitor.mpb')
| -rw-r--r-- | config/nddsmonitor.mpb | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/config/nddsmonitor.mpb b/config/nddsmonitor.mpb new file mode 100644 index 00000000..ce029b00 --- /dev/null +++ b/config/nddsmonitor.mpb @@ -0,0 +1,7 @@ +// -*- MPC -*- +// $Id$ + +feature (nddsmonitor) :nddslib { + libs += rtimonitoring +} + |