Thank you (again :) for the bug report and patch!

The fix you provided has been applied to the development branch:
https://git.savannah.gnu.org/cgit/libtool.git/commit/?h=development&id=f7d11c71dbf23b6a7bc8a273782d3aa3dab08b23

-- 
Ileana Dumitrescu

GPG Public Key: FA26 CA78 4BE1 8892 7F22 B99F 6570 EA01 146F 7354