diff options
Diffstat (limited to 'winsup/cygwin/cygwin-shilka')
| -rwxr-xr-x | winsup/cygwin/cygwin-shilka | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/winsup/cygwin/cygwin-shilka b/winsup/cygwin/cygwin-shilka index 8306cef7d..433d9b5df 100755 --- a/winsup/cygwin/cygwin-shilka +++ b/winsup/cygwin/cygwin-shilka @@ -1,6 +1,8 @@ -#!/bin/sh -x +#!/bin/sh c="$(basename $1 .shilka).c" -shilka -strip -no-definitions $1 && \ +shilka -length -strip -no-definitions $1 && \ sed -e '1,4d' -e '/KR_reset.*;/d' -e '/KR_output_statistics.*;/d' \ - -e '/KR_reset.*)/,/}/d' -e '/KR_output_statistics.*)/,/}/d' "$c" > $2 && + -e '/KR_reset.*)/,/}/d' -e '/KR_output_statistics.*)/,/}/d' \ + -e '/# *line/d' "$c" > $2 && rm -f "$c" +# -e "s%$c"'"%'"$2"'"%g' |