diff options
Diffstat (limited to 'server')
| -rwxr-xr-x | server/build_core | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/server/build_core b/server/build_core index 4e615520..bd863e4f 100755 --- a/server/build_core +++ b/server/build_core @@ -96,6 +96,10 @@ generate_stage31() { } clean_core() { + echo -n "Cleaning ${STAGE31_DIR}..." [ -d ${STAGE31_DIR} ] && rm -rf ${STAGE31_DIR} + echo " done." + echo -n "Cleaning ${MODULE_DIR}/initramfs..." [ -e ${MODULE_DIR}/initramfs ] && rm ${MODULE_DIR}/initramfs + echo " done." } |