diff options
| author | Luigi Rizzo <luigi@FreeBSD.org> | 2002-07-14 12:07:06 +0000 |
|---|---|---|
| committer | Luigi Rizzo <luigi@FreeBSD.org> | 2002-07-14 12:07:06 +0000 |
| commit | 290d66b5f513921dc6f1e4eb46d6f40fb590f2ab (patch) | |
| tree | f680ed73e866600ea1e3fecbaa16ff88d6dedd91 /release | |
| parent | 248309d4348732bfe02bd15753e256fb7b99ea7d (diff) | |
Notes
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 73bdf3f7c04f..1b91bb6e137d 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 |