summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorRobert Varga <nite@hq.sk>2016-01-30 18:37:58 +0100
committerRobert Varga <nite@hq.sk>2016-01-30 18:40:09 +0100
commit3142430cea57f810d136bb3249ededb2a4f2f18b (patch)
treea9ad8182a32d6ab1e5e77323691baa38f2c16869 /.gitignore
parentfc659e711520630d7f1f1ece3d72ffb398d5cef6 (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