Fix check_dependencies script

This commit is contained in:
Maxime Gimeno
2018-03-05 12:10:43 +01:00
parent 06dd065cec
commit d035e592c6
@@ -35,7 +35,7 @@ for pkg_path in $CGAL_ROOT/*
do
pkg=$(basename $pkg_path)
if [ -f "$pkg_path/package_info/$pkg/dependencies" ]; then
PKG_DIFF=$(diff -N -w "$pkg_path/package_info/$pkg/dependencies.old" "$pkg_path/package_info/$pkg/dependencies")
PKG_DIFF=$(diff -N -w "$pkg_path/package_info/$pkg/dependencies.old" "$pkg_path/package_info/$pkg/dependencies" || true)
if [ -n "$PKG_DIFF" ]; then
HAS_DIFF=TRUE
echo "Differences in $pkg: $PKG_DIFF"