Home | History | Annotate | Download | only in tools

Lines Matching refs:dump

114 dump "Using git clone prefix: $GITPREFIX"
123 dump "Using git clone reference: $GITREFERENCE"
133 dump "downloading sources for toolchain/$1"
151 dump "Using sources for date '$GIT_DATE': toolchain/$1 revision $REVISION"
179 dump "Patching toolchain sources"
182 dump "ERROR: Could not patch sources."
209 dump "Creating package archive $PACKAGE"
212 dump "Toolchain sources downloaded and packaged succesfully at $PACKAGE"
221 dump "Toolchain sources downloaded and copied to $SRC_DIR"
224 dump "Cleaning up..."
227 dump "Done."