Home
last modified time | relevance | path

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

/linux/scripts/livepatch/
H A Dklp-build25 SHORT_CIRCUIT=0
209 1 | orig) SHORT_CIRCUIT=1; ;;
210 2 | patched) SHORT_CIRCUIT=2; ;;
211 3 | checksum) SHORT_CIRCUIT=3; ;;
212 4 | diff) SHORT_CIRCUIT=4; ;;
213 5 | kmod) SHORT_CIRCUIT=5; ;;
233 if [[ $# -eq 0 ]] && (( SHORT_CIRCUIT <= 2 )); then
443 if (( SHORT_CIRCUIT >= 2 )); then
444 [[ -f "$ORIG_DIR/.complete" ]] || die "-S $SHORT_CIRCUIT requires completed $ORIG_DIR"
446 if (( SHORT_CIRCUIT >
[all...]