projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 826b63b) | patch
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)
commited0ba878a26a653b4ab0547cd59a587ecbc6acb3
tree1f0fb0180c7324cd3b34f4000fbd793cabf2ec10tree | snapshot
parent826b63b6827fb4477550974ef7bfb4a81135e34fcommit | diff
warnings: minor optimization

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>
ChangeLog diff | blob | history
m4/warnings.m4 diff | blob | history
gnulib debian + stable branches