HomeSort by: relevance | last modified time | path
    Searched refs:randomdev (Results 1 - 2 of 2) sorted by relevancy

  /src/external/mpl/dhcp/dist/
configure 1520 --with-randomdev=PATH Path for random device (default is /dev/random)
6793 # Check whether --with-randomdev was given.
6804 as_fn_error $? " need --with-randomdev=PATH or --with-randomdev=no" "$LINENO" 5
6813 BINDCONFIG="$BINDCONFIG --with-randomdev=no"
6849 BINDCONFIG="$BINDCONFIG --with-randomdev=$use_randomdev"
  /src/external/bsd/libbind/dist/
configure 1647 --with-randomdev=PATH Specify path for random device
21717 # was --with-randomdev specified?
21722 # Check whether --with-randomdev was given.
21770 { { echo "$as_me:$LINENO: error: --with-randomdev must specify a path" >&5
21771 echo "$as_me: error: --with-randomdev must specify a path" >&2;}

Completed in 82 milliseconds