/home/deb-cd/build/debian-cd/../mkisofs/usr/bin/mkisofs -r -V Debian 4.0 r0 ia64 Bin-1 -o /org/cdbuilder.debian.org/dst/deb-cd/out/1etchia64/debian-40r0-ia64-BC-1.iso -J -no-emul-boot -b boot/boot.img -c boot/boot.catalog boot1 CD1
