Searched refs:del_dir_list (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD1953 # del_dir_list=$PREFIX/$TEST_TEMPLATE_DIR
1954 del_dir_list=
1958 keep_install $n || del_dir_list="$del_dir_list $PREFIX/$install_dir"
1964 keep_test $n || del_dir_list="$del_dir_list $PREFIX/$test_dir"
1968 rm -rf $del_dir_list

Completed in 38 milliseconds