Commit 3bce248d authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* include/generate_headers.sh: Use the full name to erase a file.

parent 4324ea79
2009-09-16 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* include/generate_headers.sh: Use the full name to erase a file.
2009-09-16 Alexandre Duret-Lutz <adl@lrde.epita.fr>
 
* include/generate_headers.sh: Remove stray context files.
......
......@@ -187,8 +187,8 @@ main()
for header in `find vaucanson/contexts -type f -name '*.hh'`; do
base=${header##*/}
if ! test -f "vaucanson/automata/generic_contexts/$base"; then
echo deleting $base
rm -f $base
echo deleting $header
rm -f $header
fi
done
}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment