diff options
Diffstat (limited to 'winsup/cygwin/cygwin-shilka')
-rwxr-xr-x | winsup/cygwin/cygwin-shilka | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/winsup/cygwin/cygwin-shilka b/winsup/cygwin/cygwin-shilka new file mode 100755 index 000000000..8306cef7d --- /dev/null +++ b/winsup/cygwin/cygwin-shilka @@ -0,0 +1,6 @@ +#!/bin/sh -x +c="$(basename $1 .shilka).c" +shilka -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 && +rm -f "$c" |