mirror of
https://github.com/valitydev/yamerl.git
synced 2024-11-06 10:55:16 +00:00
78671683ea
Mostly:
o updates to autotools files
o removal of $Id$ and $Revision
o cleanups of Debian package
28 lines
605 B
Bash
Executable File
28 lines
605 B
Bash
Executable File
#!/bin/sh
|
|
|
|
if [ "@DIALYZER@" = '' ]; then
|
|
# Dialyzer not available; skip.
|
|
exit 77
|
|
fi
|
|
if [ "$SKIP_DIALYZER" ]; then
|
|
# The caller wants to bypass dialyzer.
|
|
exit 77
|
|
fi
|
|
|
|
log=dialyzer.log
|
|
@DIALYZER@ -n -r @top_builddir@/ebin | tee $log
|
|
ret=$?
|
|
|
|
if [ "`grep 'dialyzer: Could not read PLT file' $log`" != '' ]; then
|
|
# The PLT isn't built; consider the test as skipped.
|
|
exit 77
|
|
elif [ "`grep 'dialyzer: Old PLT file' $log`" != '' ]; then
|
|
# The PLT wasn't updated after Erlang update; consider the test
|
|
# as skipped.
|
|
exit 77
|
|
elif [ "`grep 'warnings were emitted' $log`" != '' ]; then
|
|
exit 1
|
|
fi
|
|
|
|
exit $ret
|