Searched refs:keep_install (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/usr/eclipseclp/ | ||
H A D | BUILD_ROTD | 902 keep_install() { # installation number function 1958 keep_install $n || del_dir_list="$del_dir_list $PREFIX/$install_dir" |
Completed in 36 milliseconds