adjust picobsd script to work with HEAD
authorluigi <luigi@FreeBSD.org>
Fri, 14 Oct 2016 15:16:44 +0000 (15:16 +0000)
committerluigi <luigi@FreeBSD.org>
Fri, 14 Oct 2016 15:16:44 +0000 (15:16 +0000)
commit766078b4ad1670bfdd6fb8d60d2cef3cb22a841c
tree271ee20bf06e3f2d6115f5a6aac598d66b1c4cae
parent0ba4ad5d780a3ce8414fd55dfc3a0ff7f97d7404
adjust picobsd script to work with HEAD
release/picobsd/build/picobsd