diff options
| author | ruki <[email protected]> | 2023-11-21 22:50:13 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2023-11-21 22:50:13 +0800 |
| commit | c445254e918e5091c641832c687d5b7857be0949 (patch) | |
| tree | 082a34a3aefc070d53fc8738374d61f9a5f6fcc1 /scripts/makeppa | |
| parent | ed37d615b47d49362cf7771d6a3b483ba82adafd (diff) | |
fix makeppa
Diffstat (limited to 'scripts/makeppa')
| -rwxr-xr-x | scripts/makeppa | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/makeppa b/scripts/makeppa index b3c5217a2..652cd44c5 100755 --- a/scripts/makeppa +++ b/scripts/makeppa @@ -32,13 +32,16 @@ basename=xmake-$version+$patch$serie tarball=$workdir/$basename.tar.gz if [ ! -f $tarball ]; then cd core - xmake pack --autobuild=n --formats=src_zip,src_targz --basename=xmake -o ../artifacts + xmake pack -vD --autobuild=n --formats=src_targz --basename=xmake -o ../artifacts cd .. cp ./artifacts/xmake.tar.gz $tarball fi # extract tarball cd $workdir +if [ -d xmakesrc ]; then + rm -rf xmakesrc +fi if [ ! -d $basename ]; then mkdir xmakesrc tar -xvf $basename.tar.gz -C xmakesrc |
