diff options
Diffstat (limited to 'release/Makefile')
-rw-r--r-- | release/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/release/Makefile b/release/Makefile index 59e0829..77f3291 100644 --- a/release/Makefile +++ b/release/Makefile @@ -450,6 +450,7 @@ release rerelease: # NB: these may fail if the host is running w/o devfs echo "umount /dev >/dev/null 2>&1 || true" >> ${_MK} echo "mount -t devfs devfs /dev >/dev/null 2>&1 || true" >> ${_MK} + echo "ldconfig /lib /usr/lib /usr/local/lib" >> ${_MK} echo "if [ ! -f /tmp/.world_done ]; then" >> ${_MK} echo " cd /usr/src" >> ${_MK} echo " ${CROSSMAKE} ${WORLD_FLAGS} -DNOCLEAN buildworld && \\" >> ${_MK} |