Add platinclude path to include_dirs only if it is different from include path

This commit is contained in:
Dmytro Vorona 2013-08-05 14:38:12 +02:00
parent 3179e69f66
commit 020e6c851a