diff options
author | luigi <luigi@FreeBSD.org> | 2002-07-14 12:07:06 +0000 |
---|---|---|
committer | luigi <luigi@FreeBSD.org> | 2002-07-14 12:07:06 +0000 |
commit | c94e4ee10759af5dc2520c84a5bd8736506d58b6 (patch) | |
tree | f680ed73e866600ea1e3fecbaa16ff88d6dedd91 | |
parent | b095d5165e1dcacaaaf0a22667f1098eb3bbc753 (diff) | |
download | FreeBSD-src-c94e4ee10759af5dc2520c84a5bd8736506d58b6.zip FreeBSD-src-c94e4ee10759af5dc2520c84a5bd8736506d58b6.tar.gz |
Replace a logverbose call with log
-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 |