Searched refs:UNNEEDED_SOURCES (Results 1 – 2 of 2) sorted by relevance
79 if [ "$CONFIGURE_ARGS" == "" -o "$UNNEEDED_SOURCES" == "" -o "$NEEDED_SOURCES" == "" ]; then411 echo "Removing $UNNEEDED_SOURCES"412 (cd $SCRYPT_DIR_ORIG && rm -rf $UNNEEDED_SOURCES)413 (cd $SCRYPT_DIR && rm -r $UNNEEDED_SOURCES)
6 UNNEEDED_SOURCES="\11 UNNEEDED_SOURCES+="\