1@script_shell@
2# $Id: sysdep.sh.in 109635 2007-08-29 15:01:25Z ucko $
3
4command=$1
5shift
6case "$command" in
7 tl )
8 lines=$1
9 shift
10 exec @TAIL_N@$lines ${1+"$@"}
11 ;;
12 * )
13 echo "$0: Unrecognized command $command"
14 exit 1
15 ;;
16esac
17