Lines Matching full:vmlinux
204 self.build_image = 'vmlinux.gz'
391 build_string = "/usr/bin/time -o %s make %s -j %s vmlinux" \
397 if (not os.path.isfile('vmlinux')):
398 errmsg = "no vmlinux found, kernel build failed"
504 self.vmlinux = self.boot_dir + '/vmlinux-' + tag
505 if (self.build_image != 'vmlinux'):
508 self.image = self.vmlinux
514 utils.force_copy('vmlinux', self.vmlinux)
515 if (self.build_image != 'vmlinux'):
654 self.build_target = 'vmlinux'
767 # install vmlinux
770 vmlinux = utils.system_output(
771 'rpm -q -l -p %s | grep /boot/vmlinux' % rpm_pack)
773 % (rpm_pack, vmlinux))
774 if not os.path.exists(vmlinux):
776 % (vmlinux, rpm_pack))
