diff options
Diffstat (limited to 'Build/tools')
| -rwxr-xr-x | Build/tools/MakeImages.sh | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/Build/tools/MakeImages.sh b/Build/tools/MakeImages.sh index 6fbb63cc7bb..d12ce98096b 100755 --- a/Build/tools/MakeImages.sh +++ b/Build/tools/MakeImages.sh @@ -112,11 +112,13 @@ echo "--- `date` Writing complete live image to $live_iso." rm -f install-tl.sh install-pkg.sh ) -# make symlink with short name, that we use in /etc/fstab. -rm -f $target/$NAME-live.iso $target/$NAME-live.iso.md5 -ln -s `basename $live_iso` $target/$NAME-live.iso -ln -s `basename $live_iso`.md5 $target/$NAME-live.iso.md5 -ls -l $live_iso +# make symlink with short name (used in /etc/fstab). +for ext in "" .bz2; do + rm -f $target/$NAME-live.iso$ext $target/$NAME-live.iso$ext.md5 + ln -s `basename $live_iso$ext` $target/$NAME-live.iso$ext + ln -s `basename $live_iso`$ext.md5 $target/$NAME-live.iso$ext.md5 + ls -l $live_iso$ext +done } |