#! /bin/sh

# cindent -- indent, fixing GNU indent's breaking of splint comments.
# Copyright (C) 2002 Matthias Andree
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of version 2 of the GNU General Public License as
# published by the Free Software Foundation. 
#
# NOTE: redistributing this under newer versions of the license requires
# the PRIOR WRITTEN CONSENT of the copyright holder!
#
# This program is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
# General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program (in the COPYING.GPL file); if not, write to
# the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
# Boston, MA  02111-1307 USA

doindent() {
	set -e
	rm -f "$1".bak
	cp -p "$1" "$1".bak
	indent "$1"
	perl -p -l -i -e 's,@ \*/,@*/,g;' "$1"
}

if [ x"$1" = x -o x"$1" = "x-h" ] ; then
	echo >&2 "Usage: $0 file [file [file [...]]]"
	exit 1
fi

while [ x"$1" != x ] ; do
	case "$1" in
	*.[ch])
		echo >&2 "formatting $1"
		doindent "$1"
		;;
	*)
		echo >&2 "skipping $1"
		;;
	esac
	shift
done