Merge pull request #2897 from maxGimeno/Travis-enhance_install_sh-gf

Travis: Time enhancement
2018-03-21 17:05:31 +01:00
parent d266481a16 cc1d60040f
commit 9ebc4c0453
6 changed files with 27 additions and 13 deletions
@@ -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"