Searched refs:WDIR (Results 1 – 1 of 1) sorted by relevance
549 typeset src_dir=$WDIR680 $WDIR $dst 2>${scp_err_msg}683 print "src dir: '$WDIR'\ndst dir: '$dst'"792 if [[ ! -d "$WDIR" ]]; then793 print "\nERROR: webrev directory '$WDIR' does not exist"803 $FIND $WDIR -type d -name closed \806 print "\nERROR: directory '$WDIR' contains" \1237 RTOP=$(relative_dir $TPATH $WDIR)1240 print "$HTML<head>$STDHEAD" > $WDIR/$DIR/$TNAME.lhs.html1242 cat >> $WDIR/$DIR/$TNAME.lhs.html <<-EOF[all …]