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

/xen/xen/tools/kconfig/
A D	merge_config.sh	97 INITFILE=$1 100 if [ ! -r "$INITFILE" ]; then 101 echo "The base file '$INITFILE' does not exist. Exit." >&2 112 echo "Using $INITFILE as base" 116 cat $INITFILE > $TMP_FILE

Completed in 2 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023