diff options
| -rwxr-xr-x | scripts/build/binary_debian-installer | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/scripts/build/binary_debian-installer b/scripts/build/binary_debian-installer index 3f7af1ddf..463d70f43 100755 --- a/scripts/build/binary_debian-installer +++ b/scripts/build/binary_debian-installer @@ -908,6 +908,22 @@ then fi fi +case "${LB_MODE}" in + progress-linux) + mv binary/install binary/installer + + rm -f binary/debian + + for _DIRECTORY in dists pool project firmware + do + if [ -e "${_DIRECTORY}" ] + then + mv binary/"${_DIRECTORY}" binary/installer + fi + done + ;; +esac + # Saving cache Save_cache cache/packages.binary |