Searched refs:ssh_result (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/usr/eclipseclp/ | ||
H A D | BUILD_ROTD | 577 ssh_result=$? 580 if [ "$ssh_result" -eq 255 ] ; then 589 return $ssh_result 597 return $ssh_result |
Completed in 1826 milliseconds