Searched refs:gentop (Results 1 – 1 of 1) sorted by relevance
4327 gentop=4362 if test -n "$gentop"; then4363 $show "${rm}r $gentop"4364 $run ${rm}r $gentop4372 $show "${rm}r $gentop"4373 $run ${rm}r $gentop4399 $show "${rm}r $gentop"4400 $run ${rm}r $gentop5567 $run ${rm}r "$gentop"5569 $run $mkdir "$gentop"[all …]
Completed in 24 milliseconds