songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Improve check_headers.sh, and fix the errors

This commit is contained in:
Laurent Rineau 2017-09-04 16:06:51 +02:00
parent 25367b9141
commit 984b021574
3 changed files with 2 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
Arrangement_on_surface_2/doc/Arrangement_on_surface_2/CGAL/Arr_iostream.h → Arrangement_on_surface_2/doc/Arrangement_on_surface_2/CGAL/IO/Arr_iostream.h
View File

0
Arrangement_on_surface_2/doc/Arrangement_on_surface_2/CGAL/Arr_with_history_iostream.h → Arrangement_on_surface_2/doc/Arrangement_on_surface_2/CGAL/IO/Arr_with_history_iostream.h
View File

18
Scripts/developer_scripts/check_headers.sh
View File

@ -11,22 +11,8 @@ for DIR in *; do
cd $DOC_DIR cd $DOC_DIR
for DOC_FILE in **/*.h; do for DOC_FILE in **/*.h; do
#if the file does not exist in the package #if the file does not exist in the package
if [ ! -f $PATH_TO_CGAL/$DIR/include/CGAL/$DOC_FILE ]; then if [ ! -f $PATH_TO_CGAL/*/include/CGAL/$DOC_FILE ]; then
filename=$(basename $DOC_FILE) echo "$DOC_DIR/$DOC_FILE "
cd $PATH_TO_CGAL/
#search in all of CGAL
OK='false'
#use this syntax to avoid subshell creation
#so that the setting of OK is still good after the loop
while read line; do
if [[ $line != *"doc"* ]]; then
OK='true'
fi
done < <(find -name "$filename")
if [ $OK == 'false' ]; then
echo "$DOC_DIR/$DOC_FILE "
fi
cd $PATH_TO_CGAL/$DOC_DIR
fi fi
done done
cd $PATH_TO_CGAL cd $PATH_TO_CGAL