[gnutls-devel] GnuTLS | Add code indentation (!1692)
Read-only notification of GnuTLS library development activities
gnutls-devel at lists.gnutls.org
Fri Jan 27 11:34:15 CET 2023
Zoltán Fridrich commented on a discussion on devel/indent-gnutls: https://gitlab.com/gnutls/gnutls/-/merge_requests/1692#note_1255212205
> +#!/bin/sh
> +
> +# Copyright (c) 2022 Simon Josefsson
> +# License: GPLv3+ <http://gnu.org/licenses/gpl.html>
> +
> +if ! indent --version 2> /dev/null | grep 'GNU indent' > /dev/null; then
> + echo 1>&2 "$0: GNU indent is missing"
> + exit 77
> +fi
> +
> +INDENT="indent -ppi1 -linux"; export INDENT
> +
> +git ls-files -z | grep -z '\.[ch]\(.in\)\?$' | grep -z -v '^./devel/' | xargs -0 -n1 `dirname "$0"`/indent-maybe
> +
> +exit 0
the script or exit 0?
--
Reply to this email directly or view it on GitLab: https://gitlab.com/gnutls/gnutls/-/merge_requests/1692#note_1255212205
You're receiving this email because of your account on gitlab.com.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.gnupg.org/pipermail/gnutls-devel/attachments/20230127/3180ce19/attachment-0001.html>
More information about the Gnutls-devel
mailing list