Searched refs:my_gentop (Results 1 – 1 of 1) sorted by relevance
330 my_gentop="$1"; shift338 $show "${rm}r $my_gentop"339 $run ${rm}r "$my_gentop"340 $show "$mkdir $my_gentop"341 $run $mkdir "$my_gentop"343 if test "$my_status" -ne 0 && test ! -d "$my_gentop"; then364 my_xdir="$my_gentop/$my_xlib_u"
Completed in 11 milliseconds
