diff --git a/makedist.sh b/makedist.sh new file mode 100755 index 00000000..5a09a34d --- /dev/null +++ b/makedist.sh @@ -0,0 +1,29 @@ +#!/bin/sh +# + +make distclean + +if ! ./configure.windows-x86; then + exit 1 +fi + +if ! make check distwindows-x86 distclean; then + exit 1 +fi + +if ! ./configure.windows-x64; then + exit 1 +fi + +if ! make distwindows-x64 distclean; then + exit 1 +fi + +if ! ./configure ; then + exit 1 +fi + +if ! make dist; then + exit 1 +fi + diff --git a/maketest.sh b/maketest.sh new file mode 100755 index 00000000..bed42353 --- /dev/null +++ b/maketest.sh @@ -0,0 +1,36 @@ +#!/bin/sh +# + +make distclean + +if ! ./configure --enable-coverage; then + exit 1 +fi + +if ! make lcov_reset check lcov_capture lcov_html; then + exit 1 +fi + +rm -r cov_release +mv cov cov_release + +if ! make distclean; then + exit 1 +fi + +if ! ./configure --enable-valgrind; then + exit 1 +fi + +if ! make check distclean; then + exit 1 +fi + +if ! ./configure ; then + exit 1 +fi + +if ! make check; then + exit 1 +fi +