diff options
| -rwxr-xr-x | bin/snapshot | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/snapshot b/bin/snapshot index 4a5d668..520724e 100755 --- a/bin/snapshot +++ b/bin/snapshot @@ -256,10 +256,11 @@ if [ "$cmd" = "all" -o -n "$cmdtest" ]; then fi fi - # Make sure all the serial tests work. + # Build, run tests and install procedures if [ "$snapshot" = "yes" ]; then if (cd ${TESTDIR} && \ ${srcdir:+${CURRENT}/}${CONFIGURE} --prefix=$INSTALLDIR && \ + ${MAKE} && \ ${MAKE} check && \ ${MAKE} install install-doc && \ ${MAKE} uninstall uninstall-doc); then |