diff options
Diffstat (limited to 'package.py')
-rw-r--r-- | package.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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!") |