summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/snapshot3
1 files changed, 1 insertions, 2 deletions
diff --git a/bin/snapshot b/bin/snapshot
index 23462da..a4f62fa 100755
--- a/bin/snapshot
+++ b/bin/snapshot
@@ -272,8 +272,7 @@ if [ "$cmd" = "all" -o -n "$cmdtest" ]; then
${srcdir:+${CURRENT}/}${CONFIGURE} --prefix=$INSTALLDIR && \
${MAKE} && \
${MAKE} check && \
- ${MAKE} install install-doc && \
- (cd examples; ${MAKE} check ) && \
+ ${MAKE} install install-doc check-install && \
${MAKE} uninstall uninstall-doc); then
:
else