diff options
Diffstat (limited to 'plugins/infiniband/Makefile.nmake')
| -rw-r--r-- | plugins/infiniband/Makefile.nmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/infiniband/Makefile.nmake b/plugins/infiniband/Makefile.nmake index f0f5d2dfa2..590652a023 100644 --- a/plugins/infiniband/Makefile.nmake +++ b/plugins/infiniband/Makefile.nmake @@ -96,4 +96,4 @@ distclean: clean maintainer-clean: distclean checkapi: - $(PERL) ../../tools/checkAPIs.pl $(DISSECTOR_SRC) + $(PERL) ../../tools/checkAPIs.pl -g abort $(DISSECTOR_SRC) |