Searched refs:configfile (Results 1 – 7 of 7) sorted by relevance
21 configfile=`echo $i | sed -e 's/^.*\///'`25 echo "$configfile -------"27 title="$configfile ------- $ncs acquisitions/releases"
22 configfile=`echo $i | sed -e 's/^.*\///'`30 echo "$configfile ------- " $stopstate32 title="$configfile ------- $ngps GPs"
48 parse-build.sh $i/Make.out $configfile49 parse-console.sh $i/console.log $configfile63 parse-build.sh $i/Make.out $configfile
29 configfile=`echo $i | sed -e 's/^.*\///'`
159 FILE *configfile; in prepare_config() local166 configfile = fopen(path, "r"); in prepare_config()167 if (configfile == NULL) { in prepare_config()174 while (getline(&line, &len, configfile) != -1) { in prepare_config()
118 -f, --file=<configfile> config file to use
136 /sbin/cachefilesd [-d]* [-s] [-n] [-f <configfile>]153 (*) -f <configfile>
