diff options
| author | hjk <[email protected]> | 2011-05-23 13:50:28 +0200 |
|---|---|---|
| committer | Friedemann Kleint <[email protected]> | 2011-05-23 13:55:11 +0200 |
| commit | 8bb99e4c75694ce29f912c6c2d62e8fdc577c920 (patch) | |
| tree | 921263edb7f5528743ec480675a35221f229d8f8 /src/plugins/valgrindtoolbase/valgrindtoolbase.pri | |
| parent | 84f60e5fda5f4b30cc21a05276b3adc4fb5b03a1 (diff) | |
analyzer: merge valgrind based tool plugins
It is hard to imagine there is a real use case that someone wants one but
absolutely not the other.
Change-Id: I58bb57912f2edeacf2d5a24e3b2eb5a81262eabd
Reviewed-on: http://codereview.qt.nokia.com/66
Reviewed-by: Qt Sanity Bot <[email protected]>
Reviewed-by: Friedemann Kleint <[email protected]>
Diffstat (limited to 'src/plugins/valgrindtoolbase/valgrindtoolbase.pri')
| -rw-r--r-- | src/plugins/valgrindtoolbase/valgrindtoolbase.pri | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/plugins/valgrindtoolbase/valgrindtoolbase.pri b/src/plugins/valgrindtoolbase/valgrindtoolbase.pri deleted file mode 100644 index 0ffb7c37dcb..00000000000 --- a/src/plugins/valgrindtoolbase/valgrindtoolbase.pri +++ /dev/null @@ -1,4 +0,0 @@ -include(valgrindtoolbase_dependencies.pri) - -INCLUDEPATH += $$PWD -LIBS *= -l$$qtLibraryName(ValgrindToolBase) |