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

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD1713 [ -n "$INSTALL_all_standard" ] &&
1714 set_install_params $INSTALL_all_standard &&

Completed in 34 milliseconds