DEBSOURCES
Skip Quicknav
sources / rjava / 1.0-11-2 / jri / version
12345678
#!/bin/sh VER=`awk -v ORS= '/JRI v/ { print substr($6,2) }' src/jri.h` if test "$1" == "-f"; then echo "JRI_${VER}.tar.gz" else echo "${VER}" fi