projects / gnulib.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: ed0ba87)
warnings: minor optimization
authorEric Blake <eblake@redhat.com>
Thu, 15 Aug 2013 19:45:55 +0000 (13:45 -0600)
committerEric Blake <eblake@redhat.com>
Thu, 15 Aug 2013 19:47:26 +0000 (13:47 -0600)
Paul Eggert suggested that expr is more efficient than echo|sed.

* m4/warnings.m4 (gl_COMPILER_OPTION_IF): Use fewer processes.

Signed-off-by: Eric Blake <eblake@redhat.com>

No differences found
gnulib debian + stable branches