Searched refs:isdir (Results 1 – 5 of 5) sorted by relevance
16 if {[file isdir $f]} {
415 do_test 2.5.2 { file isdir dirname3 } 1416 do_test 2.5.3 { file isdir dirname2 } 1417 do_test 2.5.4 { file isdir dirname2/file1.txt } 0
206 if {[file isdir $f]} {
87 if {[file isdir $file]} {error "$file is a directory"}
1884 isdir=no1895 -d) isdir=yes ;;1946 test -d "$dest" && isdir=yes1947 if test "$isdir" = yes; then