mirror of
https://github.com/spicetools/spicetools.git
synced 2026-04-26 07:46:51 -05:00
Apply spicetools-22-10-21
This commit is contained in:
parent
6c914266d9
commit
8957d9d446
File diff suppressed because one or more lines are too long
|
|
@ -193,7 +193,7 @@ mkdir -p ${OUTDIR}/src
|
||||||
if ((INCLUDE_SRC > 0))
|
if ((INCLUDE_SRC > 0))
|
||||||
then
|
then
|
||||||
echo "Generating source file archive..."
|
echo "Generating source file archive..."
|
||||||
git archive --format tar.gz -19 --prefix=spicetools/ HEAD > ${OUTDIR}/src/spicetools-${GIT_BRANCH}.tar.gz 2>/dev/null || \
|
git archive --format tar --prefix=spicetools/ HEAD | gzip -9 > ${OUTDIR}/src/spicetools-${GIT_BRANCH}.tar.gz 2>/dev/null || \
|
||||||
echo "WARNING: Couldn't get git to create the archive. Is this a git repository?"
|
echo "WARNING: Couldn't get git to create the archive. Is this a git repository?"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue
Block a user