summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/snapshot1
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/snapshot b/bin/snapshot
index 71b9d79..23462da 100755
--- a/bin/snapshot
+++ b/bin/snapshot
@@ -273,6 +273,7 @@ if [ "$cmd" = "all" -o -n "$cmdtest" ]; then
${MAKE} && \
${MAKE} check && \
${MAKE} install install-doc && \
+ (cd examples; ${MAKE} check ) && \
${MAKE} uninstall uninstall-doc); then
:
else