Paul Sokolovsky 0fc7efb663 makefile: Pass STRIPFLAGS_EXTRA to strip.
Expected to be set on command line, with the idea being that for different
targets, there're different smartass ABIs which strive to put unneeded
sections into executables, etc., so let people have flexible way to
strip that.

The option name is similar to previously introduced CLFAGS_EXTRA &
LDFLAGS_EXTRA.
2014-06-20 20:25:35 +03:00
..
2014-06-11 19:55:46 +01:00
2014-05-30 15:20:41 +01:00
2014-06-18 12:29:03 +02:00
2014-05-03 23:27:38 +01:00
2014-06-14 01:21:13 +03:00
2014-05-17 11:20:10 +03:00
2014-05-17 11:20:10 +03:00
2014-06-14 18:02:21 +03:00
2014-06-12 01:22:25 +03:00
2014-05-21 20:32:59 +01:00
2014-05-21 20:32:59 +01:00
2014-05-21 20:32:59 +01:00
2014-06-14 06:22:11 +03:00