diff options
| author |   Robert Varga <nite@hq.sk> | 2016-01-30 18:37:58 +0100 |
|---|---|---|
| committer | Robert Varga <nite@hq.sk> | 2016-01-30 18:40:09 +0100 |
| commit | 3142430cea57f810d136bb3249ededb2a4f2f18b (patch) | |
| tree | a9ad8182a32d6ab1e5e77323691baa38f2c16869 /.gitignore | |
| parent | fc659e711520630d7f1f1ece3d72ffb398d5cef6 (diff) | |
Add JAVA_HOME includes to vppjni build
Failing to add these means that we rely on system headers, not the ones
provided in JAVA_HOME.
Change-Id: I612bd716590efbabec26e0ba83eb98f8e90b3255
Signed-off-by: Robert Varga <nite@hq.sk>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions