cgal/Scripts/developer_scripts/remove_line_directives

14 lines
163 B
Bash
Executable File

#!/bin/sh
tmpfil=".rld$$"
for file in $*
do
if sed -e '/^#line / d' ${file} > ${tmpfil}
then
mv ${tmpfil} ${file}
else
rm -f ${tmpfil}
fi
done