diff options
author | 2016-01-30 18:37:58 +0100 | |
---|---|---|
committer | 2016-01-30 18:40:09 +0100 | |
commit | 3142430cea57f810d136bb3249ededb2a4f2f18b (patch) | |
tree | a9ad8182a32d6ab1e5e77323691baa38f2c16869 /vpp-japi/japi/vppjni.h | |
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 'vpp-japi/japi/vppjni.h')
0 files changed, 0 insertions, 0 deletions