Lines Matching refs:WORKING_DIRECTORY
94 # in ${WORKING_DIRECTORY}/gcc-${RELEASE}.
97 # If the WORKING_DIRECTORY already exists, do not risk destroying it.
98 if [ -r ${WORKING_DIRECTORY} ]; then
99 error "\`${WORKING_DIRECTORY}' already exists"
101 # Create the WORKING_DIRECTORY.
102 mkdir "${WORKING_DIRECTORY}" \
103 || error "Could not create \`${WORKING_DIRECTORY}'"
104 changedir "${WORKING_DIRECTORY}"
220 status=${WORKING_DIRECTORY}/gitstatus.$$
319 changedir "${WORKING_DIRECTORY}"
355 new_tar=${WORKING_DIRECTORY}/${f}-${RELEASE}.tar.xz
369 changedir "${WORKING_DIRECTORY}"
396 changedir "${WORKING_DIRECTORY}"
584 WORKING_DIRECTORY=""
726 # Compute the name of the WORKING_DIRECTORY and the SOURCE_DIRECTORY.
727 WORKING_DIRECTORY="${DESTINATION}/gcc-${RELEASE}"
728 SOURCE_DIRECTORY="${WORKING_DIRECTORY}/gcc-${RELEASE}"
787 rm -rf ${WORKING_DIRECTORY}