Skip to content
Snippets Groups Projects
Commit d9aefc4e authored by Filippo Cremonese's avatar Filippo Cremonese
Browse files

Quiet pushd/popd

parent b73cd795
No related branches found
No related tags found
No related merge requests found
......@@ -53,6 +53,6 @@ else
fi
mkdir -p "$INTO"
pushd "$INTO"
pushd "$INTO" > /dev/null
tar --extract --file "${SRC_ARCHIVE_DIR}/${ARCHIVE_FILENAME}" --strip-components=1
popd
popd > /dev/null
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment