#!/bin/bash
curdir=`pwd`                                                || exit 1
version=`./getversion`                                      || exit 1
echo "version = $version"
./configure                                                 || exit 1
make -j4 distcheck                                          || exit 1
mkdir -p ../versions                                        || exit 1
mv xpenguins*.tar.gz ../versions                            || exit 1
make distclean
echo "$0 done"
