3c1e8187bd
-length option so that device prefixes are used. * devices.cc: Regenerate. * syscalls.cc (ttyname): Add debugging output.
9 lines
292 B
Bash
Executable File
9 lines
292 B
Bash
Executable File
#!/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'
|