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

Fix the use of $Id $ in a shell line

This commit is contained in:
Laurent Rineau 2010-06-18 08:15:11 +00:00
parent 39cfd48ebf
commit 1aa1d66cd9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Scripts/developer_scripts/autotest_cgal
View File

@ -782,7 +782,7 @@ put_on_web()
# START OF MAIN BODY
# ----------------------------------------------------
log "${ACTUAL_LOGFILE}" "${0}, version \"$Id$\""
log "${ACTUAL_LOGFILE}" "${0}, version \""'$Id$'"\""
# Parse command line arguments
for arg in "$@"