Searched refs:base_resdir (Results 1 – 2 of 2) sorted by relevance
74 base_resdir=`echo $resdir | sed -e 's/\.[0-9]\+$//'`75 if test "$base_resdir" != "$resdir" && test -f $base_resdir/bzImage && test -f $base_resdir/vmlinux78 QEMU="`identify_qemu $base_resdir/vmlinux`"80 KERNEL=$base_resdir/${BOOT_IMAGE##*/} # use the last component of ${BOOT_IMAGE}81 ln -s $base_resdir/Make*.out $resdir # for kvm-recheck.sh82 ln -s $base_resdir/.config $resdir # for kvm-recheck.sh85 elif test "$base_resdir" != "$resdir"88 ln -s $base_resdir/Make*.out $resdir # for kvm-recheck.sh89 ln -s $base_resdir/.config $resdir # for kvm-recheck.sh
74 base_resdir=`echo $resdir | sed -e 's/\.[0-9]\+$//'`75 if ! test -f $base_resdir/vmlinux77 base_resdir="`cat re-run`/$resdir"78 if ! test -f $base_resdir/vmlinux80 base_resdir=/path/to84 echo " gdb $base_resdir/vmlinux" > /dev/tty
Completed in 3 milliseconds