diff options
-rwxr-xr-x | bin/snapshot | 1 |
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 |