Home
last modified time | relevance | path

Searched refs:ORIG_DIR (Results 1 – 1 of 1) sorted by relevance

/linux/scripts/livepatch/
H A Dklp-build40 ORIG_DIR="$TMP_DIR/1-orig"
444 [[ -f "$ORIG_DIR/.complete" ]] || die "-S $SHORT_CIRCUIT requires completed $ORIG_DIR"
591 # Copy all .o archives to $ORIG_DIR
595 rm -rf "$ORIG_DIR"
596 mkdir -p "$ORIG_DIR"
604 local orig_file="$ORIG_DIR/$rel_file"
614 cp -f "$PWD/vmlinux" "$ORIG_DIR" || die "missing vmlinux"
616 mv -f "$TMP_DIR/build.log" "$ORIG_DIR"
618 touch "$ORIG_DIR/
[all...]