Searched refs:configfile (Results 1 – 6 of 6) sorted by relevance
46 parse-build.sh $i/Make.out $configfile47 parse-torture.sh $i/console.log $configfile48 parse-console.sh $i/console.log $configfile62 parse-build.sh $i/Make.out $configfile
34 configfile=`echo $i | sed -e 's/^.*\///'`38 echo "$configfile -------"40 title="$configfile ------- $ncs acquisitions/releases"
35 configfile=`echo $i | sed -e 's/^.*\///'`39 echo "$configfile -------"41 title="$configfile ------- $ngps grace periods"
162 FILE *configfile; in prepare_config() local169 configfile = fopen(path, "r"); in prepare_config()170 if (configfile == NULL) { in prepare_config()177 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>