Use bash rather than /bin/sh to add -I option (case insensitive globbing). PR: ports/102020 Submitted by: Martin Kammerhofer <dada at pluto.tugraz.at> Approved by: Martin Kammerhofer <mkamm at gmx.net> (maintainer) |
||
---|---|---|
.. | ||
files | ||
Makefile | ||
pkg-descr |