diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build/binary_hdd | 2 | ||||
| -rwxr-xr-x | scripts/build/installer_debian-installer | 1 | ||||
| -rwxr-xr-x | scripts/build/source_iso | 1 |
3 files changed, 4 insertions, 0 deletions
diff --git a/scripts/build/binary_hdd b/scripts/build/binary_hdd index a0d45392b..e6c6bdfa3 100755 --- a/scripts/build/binary_hdd +++ b/scripts/build/binary_hdd @@ -285,6 +285,7 @@ if [ "${LB_FIRST_BOOTLOADER}" = "grub" ] then cat > chroot/grub.sh << EOF +#!/bin/sh cd binary.tmp grub --batch << EOM find /live/vmlinuz @@ -298,6 +299,7 @@ EOF echo "WAITING..." && read WAIT #cat > chroot/grub.sh << EOF +#!/bin/sh #grub --batch << EOM #root $rootpartition #setup $hdddev diff --git a/scripts/build/installer_debian-installer b/scripts/build/installer_debian-installer index 9f173af5d..33b8a1c08 100755 --- a/scripts/build/installer_debian-installer +++ b/scripts/build/installer_debian-installer @@ -678,6 +678,7 @@ then esac cat > chroot/binary.sh << EOF +#!/bin/sh cd /root/binary && apt-ftparchive \ -o APT::FTPArchive::Release::Origin="Debian" \ -o APT::FTPArchive::Release::Label="Debian" \ diff --git a/scripts/build/source_iso b/scripts/build/source_iso index dda05f704..471785139 100755 --- a/scripts/build/source_iso +++ b/scripts/build/source_iso @@ -105,6 +105,7 @@ XORRISO_OPTIONS="${XORRISO_OPTIONS} --modification-date=$(date --utc --date="@${ mv source chroot cat > chroot/source.sh << EOF +#!/bin/sh xorriso ${XORRISO_OPTIONS} -o source.iso source EOF |