From 9f963df723d4ded1001b8a32948ca8028bd9109a Mon Sep 17 00:00:00 2001
From: Michael Rash <mbr@cipherdyne.org>
Date: Mon, 20 Feb 2017 21:51:35 -0500
Subject: [PATCH] minor comment addition

---
 extras/coverity/coverity_scan.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/extras/coverity/coverity_scan.sh b/extras/coverity/coverity_scan.sh
index 9fa4e3dc..b248e71d 100755
--- a/extras/coverity/coverity_scan.sh
+++ b/extras/coverity/coverity_scan.sh
@@ -1,4 +1,8 @@
 #!/bin/sh +x
+#
+# Download the latest Coverity scan build here:
+#   https://scan.coverity.com/download
+#
 
 make clean
 ./extras/apparmor/configure_args.sh