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