Merge branch 'Scripts-fix_cgal_test-lrineau'

It fixes a bug during the detection of availlable targets in a Makefile,
when one file or directory in the sources directory is named "help".

Approved by the Release Manager.
This commit is contained in:
Laurent Rineau
2013-06-14 11:47:58 +02:00
+1 -1
View File
@@ -156,7 +156,7 @@ EOF
tmp=`basename $file .C`
tmp=`basename $tmp .cpp`
cat <<EOF
if \${MAKE_CMD} -f Makefile help | grep -E "$tmp\$" > /dev/null; then
if grep -qE "^${tmp}:" Makefile; then
compile_and_run $tmp
NEED_CLEAN=y
fi