Searched refs:SENTINEL_DIR (Results 1 – 4 of 4) sorted by relevance
23 SENTINEL_DIR="$PWD" && \27 scripts/genHardFlags -d "$SENTINEL_DIR" \30 scripts/genHardFlags -d "$SENTINEL_DIR" -f "$with_hardenfile" \
24 SENTINEL_DIR="$PWD" && \28 scripts/genLocInfo -d "$SENTINEL_DIR" \31 scripts/genLocInfo -d "$SENTINEL_DIR" -f "$with_locfile" \
6090 SENTINEL_DIR="$PWD" && \6094 scripts/genHardFlags -d "$SENTINEL_DIR" \6097 scripts/genHardFlags -d "$SENTINEL_DIR" -f "$with_hardenfile" \6139 SENTINEL_DIR="$PWD" && \6143 scripts/genLocInfo -d "$SENTINEL_DIR" \6146 scripts/genLocInfo -d "$SENTINEL_DIR" -f "$with_locfile" \
6425 SENTINEL_DIR="$PWD" && \6429 scripts/genHardFlags -d "$SENTINEL_DIR" \6432 scripts/genHardFlags -d "$SENTINEL_DIR" -f "$with_hardenfile" \6501 SENTINEL_DIR="$PWD" && \6505 scripts/genLocInfo -d "$SENTINEL_DIR" \6508 scripts/genLocInfo -d "$SENTINEL_DIR" -f "$with_locfile" \