diff --git a/Scripts/developer_scripts/check_licenses b/Scripts/developer_scripts/check_licenses index 7816ac17eab..894e8c0b076 100755 --- a/Scripts/developer_scripts/check_licenses +++ b/Scripts/developer_scripts/check_licenses @@ -49,7 +49,7 @@ fi mkdir $DIR rm -f $PREFIX1* $PREFIX2* -if [ ! -f install_cgal ]; then +if [ ! -f INSTALL ]; then echo This script should be run from the top-level directory of an internal or external release. exit 1 fi