Searched refs:genf (Results 1 – 1 of 1) sorted by relevance
2600 genf=`basename "$file" | sed 's/.opt$/.gen/'`2601 gens="$gens $genf"2602 genq="$genq$nl$genf: $srcdir/Build.sh $srcdir/$file