Use much faster gzip compression. Potentially fixes #193. Signed-off-by: Tim 'mithro' Ansell <tansell@google.com>
diff --git a/.github/capture.sh b/.github/capture.sh index 601fdb9..ca0bce1 100644 --- a/.github/capture.sh +++ b/.github/capture.sh
@@ -40,7 +40,7 @@ cd ${SKY130_DIR} tar \ --create \ - --xz \ + --gzip \ --verbose \ \ --mtime='2020-05-07 00:00Z' \ @@ -50,7 +50,7 @@ --numeric-owner \ --pax-option=exthdr.name=%d/PaxHeaders/%f,delete=atime,delete=ctime \ \ - --file ${GITHUB_WORKSPACE}/output/pdk-SKY130A-${STD_CELL_LIBRARY}.tar.xz . + --file ${GITHUB_WORKSPACE}/output/pdk-SKY130A-${STD_CELL_LIBRARY}.tar.gz . echo ::endgroup:: )