You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
#!/bin/bash
|
|
|
|
set -ex
|
|
|
|
# Go to the top-level
|
|
topdir=`git rev-parse --show-toplevel`
|
|
if [ -z "${topdir}" ]; then
|
|
do_abort "Not in the Git clone"
|
|
fi
|
|
cd "${topdir}"
|
|
git clean -fxdq
|
|
./bootstrap
|
|
./configure --enable-local
|
|
make dist-create-release
|
