mirror of https://github.com/CGAL/cgal
Update check_licenses, so that it can be run with latest releases.
This commit is contained in:
parent
d195a91851
commit
17000a2347
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Reference in New Issue