tree f68d7517b6c2745f8f0469278b3a9e3ad6d7c50d
parent 5e656196695d5a227d72d25b93656761ddd02edc
parent 6c2908ea5f0e58798a050b75b6f0eaa847120550
author Gilles Peskine <gilles.peskine@arm.com> 1586188128 +0200
committer GitHub <noreply@github.com> 1586188128 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJei09gCRBK7hj4Ov3rIwAAdHIIAEUW87/4lryL0xGziPlhmN2e
 FbY9CHTWD8tEAcTV3rpQlFurOAB7eHh/jpJFYlRhVpoG5i7oMJYOpSbUUZkSQE31
 /FWS5fIc74LpOLBrvB2TJqk+5YlTs2DFkooKchUFx/knj5OAEGLMjitP3PzU5H2+
 kNVDlH6Dz31vACED+FZUm2tT9EOuUPavZPyRghxYEDMe6MHLTdwfnSE3ekX66ebs
 MpRGAwZhKoPRbutVqvQc9MKX4gPXxCAjvAvRFq+SfqSJqBeu5qaMjJNUhUz5Xh65
 gaUtv53KqVR8+TkqyoL3W0ypBtswrsTsswIv8M+Fd68mk0eY5ALqdWEwDbRTxF8=
 =KrJq
 -----END PGP SIGNATURE-----
 

Merge pull request #3157 from mpg/improve-make-tags-2.16

[backport 2.16] Improve ctags invocation in Makefile