chiark / gitweb /
remove ident string from segcmap outputs to remove useless padding
authorian <ian>
Sat, 31 May 2008 21:57:38 +0000 (21:57 +0000)
committerian <ian>
Sat, 31 May 2008 21:57:38 +0000 (21:57 +0000)
layout/layout

index c589213b4e3d94bea14ea3f85c08e988b954946f..f131517fabbe767c808d1114ed3d6cd0cac9c504 100755 (executable)
@@ -1853,7 +1853,7 @@ while (<>) {
 
 ol("grestore\n");
 
-if (@ident_strings) {
+if (@ident_strings && !($subsegcmapreq || %subsegcmap)) {
     my ($is);
     $is= join('; ', @ident_strings);
     $is =~ s/[()\\]/\\$&/g;