]> git.saurik.com Git - bison.git/commitdiff
Don't pipe output of ./types through sed to
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 20 Jul 2005 22:01:47 +0000 (22:01 +0000)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 20 Jul 2005 22:01:47 +0000 (22:01 +0000)
remove trailing spaces.  This loses the exit status of ./types,
and isn't needed since ./types shouldn't be emitting trailing
spaces.


No differences found