diff make/linux/platform_zero.in @ 4938:de34c646c3f7

7140985: HSDIS does not handle caller options correctly Summary: Fix typo. Reviewed-by: jrose, kvn Contributed-by: Andrew Haley <aph@redhat.com>
author kvn
date Fri, 10 Feb 2012 17:20:05 -0800
parents 354d3184f6b2
children
line wrap: on
line diff