diff options
Diffstat (limited to 'src/chkskel.sh')
| -rw-r--r-- | src/chkskel.sh | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/src/chkskel.sh b/src/chkskel.sh new file mode 100644 index 0000000..9603ff8 --- /dev/null +++ b/src/chkskel.sh @@ -0,0 +1,33 @@ +#! /bin/sh + +# This file is part of flex. + +# Redistribution and use in source and binary forms, with or without +# modification, are permitted provided that the following conditions +# are met: + +# 1. Redistributions of source code must retain the above copyright +# notice, this list of conditions and the following disclaimer. +# 2. Redistributions in binary form must reproduce the above copyright +# notice, this list of conditions and the following disclaimer in the +# documentation and/or other materials provided with the distribution. + +# Neither the name of the University nor the names of its contributors +# may be used to endorse or promote products derived from this software +# without specific prior written permission. + +# THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR +# IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED +# WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR +# PURPOSE. + +if test ! $# = 1; then + echo 'Usage: chkskel.sh file' >&2 + exit 1 +fi +file=$1 +lines=$(grep -c '^ "%%' "${file}") +if [ ! "${lines}" -eq 6 ]; then + echo 'ERROR: skeleton does not have the right number of %% section lines' + exit 2 +fi |