Makefile.shared: improve portability of commit#17753.
1 file changed