Author: leerho
Date: Wed Feb 3 01:15:46 2021
New Revision: 45776
Log:
update bashDeployToDist.sh
Modified:
dev/datasketches/scripts/bashDeployToDist.sh
Modified: dev/datasketches/scripts/bashDeployToDist.sh
==============================================================================
--- dev/datasketches/scripts/bashDeployToDist.sh (original)
+++ dev/datasketches/scripts/bashDeployToDist.sh Wed Feb 3 01:15:46 2021
@@ -208,6 +208,8 @@ mkdir -p $LocalFilesPath
# ZIP
+# Note some unzip utilities do not unzip into a directory of ZipPrefix, thus
the need for the --prefix
+# This archive will follow both .gitignore and .gitattributes
git archive --output=target/$ZipName --prefix=$ZipPrefix/ $Tag
mkdir -p target/$ZipPrefix
echo "$($ScriptsDir/getGitProperties.sh $ProjectBaseDir $ProjectArtifactId
$Tag)" > target/$ZipPrefix/git.properties
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
