This is the mail archive of the
gdb-prs@sources.redhat.com
mailing list for the GDB project.
gdb/699: Reject, rather than warn, when indent version is wrong
- From: ac131313 at redhat dot com
- To: gdb-gnats at sources dot redhat dot com
- Date: 12 Sep 2002 19:55:54 -0000
- Subject: gdb/699: Reject, rather than warn, when indent version is wrong
- Reply-to: ac131313 at redhat dot com
>Number: 699
>Category: gdb
>Synopsis: Reject, rather than warn, when indent version is wrong
>Confidential: no
>Severity: serious
>Priority: medium
>Responsible: unassigned
>State: open
>Class: change-request
>Submitter-Id: net
>Arrival-Date: Thu Sep 12 12:58:01 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator: ac131313@redhat.com
>Release: unknown-1.0
>Organization:
>Environment:
>Description:
gdb_indent.sh contains:
--
# Check that the indent found is both GNU and a reasonable version.
# Different indent versions give different indentation.
case `${indent} --version 2>/dev/null < /dev/null` in
GNU*2.2.6 ) ;;
*GNU* ) echo "Incorrect version of GNU indent" 1>&2 ;;
* ) echo "Indent is not GNU" 1>&2 ;;
esac
--
It should abort when the version is wrong. Stop indentation entropy.
>How-To-Repeat:
>Fix:
>Release-Note:
>Audit-Trail:
>Unformatted: