Disable make check for pg_arman

vbwagner · vbwagner · commit d2b885d99249 · 2016-03-24T14:44:39.000+03:00
diff --git a/contrib/pg_arman/Makefile b/contrib/pg_arman/Makefile
@@ -101,3 +101,7 @@ endif # ASCIIDOC
 clean: clean-docs
 clean-docs:
 	$(MAKE) -C doc/ clean
+
+# Disable make check
+check:
+	true
