src/ai/api/squirrel_export.awk
branchnoai
changeset 10338 fb4e0030116d
parent 10289 d9c1adea89be
child 10358 73d8177db39e
--- a/src/ai/api/squirrel_export.awk	Wed Apr 23 12:05:32 2008 +0000
+++ b/src/ai/api/squirrel_export.awk	Thu Apr 24 23:29:01 2008 +0000
@@ -42,7 +42,9 @@
 }
 
 /@file/ {
-	print "/* $Id$ */"
+	# Break it in two lines, so SVN doesn't replace it
+	printf "/* $I"
+	print "d$ */"
 	print "/* THIS FILE IS AUTO-GENERATED; PLEASE DO NOT ALTER MANUALLY */"
 	print ""
 	print "#include \"" $3 "\""