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

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD194 ARCHIVE_DESTS \
388 Archive destinations: $ARCHIVE_DESTS
1787 # requires: ECLIPSE_VERSION BUILD_NUMBER ARCHIVE_DESTS
1790 if [ -n "$ARCHIVE_DESTS" ] ; then
1792 for archive_dest in $ARCHIVE_DESTS ; do

Completed in 36 milliseconds