From 17000a2347b6af6145a4249187a99a0e8ca1d78d Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Mon, 8 Dec 2008 09:56:35 +0000
Subject: [PATCH] Update check_licenses, so that it can be run with latest
 releases.

---
 Scripts/developer_scripts/check_licenses | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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