mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-12-22 08:17:01 +00:00
gst-indent: Add support for gindent as executable name
gst-indent used to support gnuindent and indent as executable names. However, on OSX one can "brew install gnu-indent" and then the executable name will be gindent. Added support for that. https://bugzilla.gnome.org/show_bug.cgi?id=750351
This commit is contained in:
parent
c508ee27a1
commit
957a81eef9
1 changed files with 11 additions and 10 deletions
|
@ -1,16 +1,17 @@
|
||||||
#!/bin/sh
|
#!/bin/sh
|
||||||
|
|
||||||
version=`gnuindent --version 2>/dev/null`
|
for execname in gnuindent gindent indent; do
|
||||||
if test "x$version" = "x"; then
|
version=`$execname --version 2>/dev/null`
|
||||||
version=`indent --version 2>/dev/null`
|
if test "x$version" != "x"; then
|
||||||
if test "x$version" = "x"; then
|
INDENT=$execname
|
||||||
|
break
|
||||||
|
fi
|
||||||
|
done
|
||||||
|
|
||||||
|
if test -z $INDENT; then
|
||||||
echo "GStreamer git pre-commit hook:"
|
echo "GStreamer git pre-commit hook:"
|
||||||
echo "Did not find GNU indent, please install it before continuing."
|
echo "Did not find GNU indent, please install it before continuing."
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
|
||||||
INDENT=indent
|
|
||||||
else
|
|
||||||
INDENT=gnuindent
|
|
||||||
fi
|
fi
|
||||||
|
|
||||||
case `$INDENT --version` in
|
case `$INDENT --version` in
|
||||||
|
|
Loading…
Reference in a new issue