Add a tip to the packaging script

1 files changed, 1 insertions, 1 deletions

diff --git a/package.py b/package.py
index 62f8dbdf..fa111ec5 100644
--- a/package.py
+++ b/package.py
@@ -163,7 +163,7 @@ def run(cmd):
     flush("    + {}...".format(" ".join(cmd)), end=' ')
     retv = subprocess.call(cmd, stdout=subprocess.DEVNULL, stderr=subprocess.DEVNULL)
     if retv != 0:
-        flush("failed!")
+        flush("failed! (Is Dafny or the Dafny server running?)")
         sys.exit(1)
     else:
         flush("done!")