diff options
Diffstat (limited to 'winsup/cygwin/scripts/cygwin-shilka')
-rwxr-xr-x | winsup/cygwin/scripts/cygwin-shilka | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/winsup/cygwin/scripts/cygwin-shilka b/winsup/cygwin/scripts/cygwin-shilka new file mode 100755 index 000000000..9abbf230f --- /dev/null +++ b/winsup/cygwin/scripts/cygwin-shilka @@ -0,0 +1,8 @@ +#!/bin/sh +c="$(basename $1 .shilka).c" +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' \ + -e '/# *line/d' "$c" > $2 && +rm -f "$c" +# -e "s%$c"'"%'"$2"'"%g' |