diff options
Diffstat (limited to 'release')
-rwxr-xr-x | release/picobsd/build/picobsd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release/picobsd/build/picobsd b/release/picobsd/build/picobsd index 73bdf3f..1b91bb6 100755 --- a/release/picobsd/build/picobsd +++ b/release/picobsd/build/picobsd @@ -852,7 +852,7 @@ set_build_parameters() { PICO_TREE=${PICO_TREE:-${SRC}/release/picobsd} set `grep "#define[\t ]__FreeBSD_version" ${SRC}/sys/sys/param.h` OSVERSION=$3 - logverbose "OSVERSION is ${OSVERSION}" + log "OSVERSION is ${OSVERSION}" if [ "${o_init_src}" != "" ] ; then if [ ${OSVERSION} -lt 500035 ] ; then create_includes_and_libraries |