Searched refs:SOURCE (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/isabelle/lib/browser/
H A Dbuild54 for SOURCE in "${SOURCES[@]}"
56 [ ! -e "$SOURCE" ] && fail "Missing source file: $SOURCE"
57 [ ! -e "$TARGET" -o "$SOURCE" -nt "$TARGET" ] && OUTDATED=true
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/
H A Dbuild54 for SOURCE in "${SOURCES[@]}"
56 [ ! -e "$SOURCE" ] && fail "Missing source file: $SOURCE"
57 [ ! -e "$TARGET" -o "$SOURCE" -nt "$TARGET" ] && OUTDATED=true
/seL4-l4v-10.1.1/isabelle/Admin/cronjob/
H A Dplain_identify19 local SOURCE="$2"
22 hg clone --noupdate -q "$SOURCE" "$REPOS_DIR/$NAME"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/cronjob/
H A Dplain_identify19 local SOURCE="$2"
22 hg clone --noupdate -q "$SOURCE" "$REPOS_DIR/$NAME"

Completed in 37 milliseconds