diff --git a/tools/make_disc_trees.pl b/tools/make_disc_trees.pl index e42760ed..bcbb28af 100755 --- a/tools/make_disc_trees.pl +++ b/tools/make_disc_trees.pl @@ -202,6 +202,12 @@ while (defined (my $pkg = )) { } else { $mkisofs_opts = ""; } + if ($disknum <= $maxjigdos) { + $mkisofs_opts = "$mkisofs_opts -jigdo-jigdo /dev/null"; + $mkisofs_opts = "$mkisofs_opts -jigdo-template /dev/null"; + $mkisofs_opts = "$mkisofs_opts -md5-list /dev/null"; + $mkisofs_opts = "$mkisofs_opts -o /dev/null"; + } if ( -e "$bdir/$disknum.mkisofs_dirs" ) { open(OPTS, "<$bdir/$disknum.mkisofs_dirs"); while (defined($opt = )) {