Searched refs:duplicate_directory2 (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/usr/eclipseclp/ | ||
H A D | BUILD_ROTD | 468 duplicate_directory2() { # source directory, list of destination directories function 1235 duplicate_directory2 $TEST_TEMPLATE_DIR $test_dirs |
Completed in 34 milliseconds