Searched refs:configfile (Results 1 – 7 of 7) sorted by relevance
34 configfile=`echo $i | sed -e 's/^.*\///'`38 echo "$configfile -------"40 title="$configfile ------- $ncs acquisitions/releases"
35 configfile=`echo $i | sed -e 's/^.*\///'`43 echo "$configfile ------- " $stopstate45 title="$configfile ------- $ngps GPs"
51 parse-build.sh $i/Make.out $configfile52 parse-console.sh $i/console.log $configfile66 parse-build.sh $i/Make.out $configfile
42 configfile=`echo $i | sed -e 's/^.*\///'`
172 FILE *configfile; in prepare_config() local179 configfile = fopen(path, "r"); in prepare_config()180 if (configfile == NULL) { in prepare_config()187 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>
