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

/vbox/
H A Dconfigure377 DEVDIR_BIN="$DEVDIR/$OS.$BUILD_MACHINE/bin"
2636 echo "$PATH" | grep -q "$DEVDIR_BIN" || PATH="$PATH:$DEVDIR_BIN"

Completed in 86 milliseconds