Makefile: generate stripped CLI tools directly instead of copying unstripped ones...
authorMarton Balint <cus@passwd.hu>
Fri, 6 Oct 2017 20:15:35 +0000 (22:15 +0200)
committerMarton Balint <cus@passwd.hu>
Tue, 10 Oct 2017 17:45:14 +0000 (19:45 +0200)
commitff6de6b180fd7c931410f81fb404ab3dbf30d40b
treec1d595e8967b20a6be9a0fb19e57d07e098b0d9c
parent17ba9e123f1e66fad92f0ff6bd7aaa7ddfac7ff4
Makefile: generate stripped CLI tools directly instead of copying unstripped ones first

Now works with --disable-stripping.

Signed-off-by: Marton Balint <cus@passwd.hu>
Makefile
configure