diff --git a/Scripts/developer_scripts/test_merge_of_branch b/Scripts/developer_scripts/test_merge_of_branch index ed14ece16f7..1412c1f6700 100755 --- a/Scripts/developer_scripts/test_merge_of_branch +++ b/Scripts/developer_scripts/test_merge_of_branch @@ -12,6 +12,13 @@ if [ -z "`git --version`" ]; then fi git=git +ack=ack-grep +if ! $ack --version >/dev/null 2>&1; then + ack=ack +fi +if ! $ack --version >/dev/null 2>&1; then + ack=NOACK +fi if hub --version 2> /dev/null > /dev/null; then case "$(hub --version)" in *hub\ version*) git=hub;; @@ -119,14 +126,17 @@ fi #check header files without license include directive echo '.. Checking include directives in header files...' -file_without_license_include=$(for pkg in `ack-grep "^GPL" */package_info/*/license.txt -l | awk -F "/" '{print $1}'`; do find ${pkg}/include -type f -name '*.h' | xargs -r egrep -l "^#\s*define\s+CGAL_.*_H\s*$" | xargs -r grep -L "#include