chiark / gitweb /
Makefile: Use a less-specific symlink to find Java headers.
-rw-r--r-- 1234 Makefile
-rw-r--r-- 6551 jni.c
-rw-r--r-- 703 jni.java
-rw-r--r-- 1490 main.scala
-rw-r--r-- 1095 sock.scala