* make-dist: Clean up.
This commit is contained in:
parent
ffda2d393f
commit
150759b7bf
25
make-dist
25
make-dist
@ -1,8 +1,25 @@
|
||||
#!/bin/sh -e
|
||||
|
||||
git clone -s .git tmpdir
|
||||
cd tmpdir
|
||||
tag="${1:-master}"
|
||||
|
||||
j=-j`getconf _NPROCESSORS_ONLN 2> /dev/null` || j=
|
||||
|
||||
distdir=strace-dist-$$
|
||||
abs_distdir="`pwd`/$distdir"
|
||||
trap 'chmod -Rf u+w $abs_distdir; rm -rf $abs_distdir' 1 2 15 0
|
||||
|
||||
set -x
|
||||
git clone -q -n -s .git "$distdir"
|
||||
|
||||
cd $distdir
|
||||
git checkout -f "$tag"
|
||||
|
||||
./git-set-file-times
|
||||
autoreconf -i
|
||||
|
||||
autoreconf -i -f
|
||||
|
||||
./configure --enable-maintainer-mode
|
||||
make distcheck
|
||||
|
||||
make -s $j distcheck
|
||||
|
||||
mv -f *.tar.bz2 ..
|
||||
|
Loading…
Reference in New Issue
Block a user