Merge r322282 into the 6.0 branch: Fix for libomp static build

[AndreyChurbanov]

Bugzilla Link	35942
Resolution	WONTFIX
Resolved on	Jan 17, 2018 05:52
Version	unspecified
OS	Linux
Blocks	#35152
CC	@AndreyChurbanov
Fixed by commit(s)	r322282

Extended Description

Hans,

Could you please merge this tiny fix into the 6.0 branch?

Thanks, Andrey

[AndreyChurbanov]

assigned to @zmodem

[zmodem]

IIUC, the fix is for a problem introduced in r322202, which landed after the branch.

Please re-open if something still needs to be done.

[AndreyChurbanov]

Sorry, my fault.

Indeed this patch should not work in the absence of r322202.

Nothing to do for 6.0.

Regards,
Andrey