Home
last modified time | relevance | path

Searched refs:dir_rm (Results 1 – 1 of 1) sorted by relevance

/illumos-gate/usr/src/tools/scripts/
H A Dwebrev.sh720 typeset dir_rm
733 dir_rm=${dir_spec%%/}
735 dir_rm=${dir_spec}
743 if [[ -z "$dir_rm" ]]; then
756 print "rename $dir_rm $TRASH_DIR/removed.$$" > $batch_file_rm