tree 56ffd65553e71216459a74688426e56a0343bd35
parent c33d1680c7e9ab7edea02d7465a8db13e80b558d
author Dirk Reinbach <dirk.reinbach@gmail.com> 1610614878 +0100
committer Paul Wankadia <junyer@google.com> 1610707312 +0000

use target_include_directories() instead of include_directories().

Fixes #292.

Change-Id: If1cf4ad7836acd8d824a8b1e8de364a222a01e21
Reviewed-on: https://code-review.googlesource.com/c/re2/+/58150
Reviewed-by: Paul Wankadia <junyer@google.com>