From: Jannis Harder <me@jix.one>
Date: Mon, 30 May 2022 14:18:37 +0000 (+0200)
Subject: Suggest -f when the workdir already exists
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8e87b0f7f44a025274e3aa8c0f139f3945b007d5;p=SymbiYosys.git

Suggest -f when the workdir already exists
---

diff --git a/sbysrc/sby.py b/sbysrc/sby.py
index d13960c..19a962b 100644
--- a/sbysrc/sby.py
+++ b/sbysrc/sby.py
@@ -424,7 +424,7 @@ def run_task(taskname):
         if reusedir:
             pass
         elif os.path.isdir(my_workdir):
-            print(f"ERROR: Directory '{my_workdir}' already exists.")
+            print(f"ERROR: Directory '{my_workdir}' already exists, use -f to overwrite the existing directory.")
             sys.exit(1)
         else:
             os.makedirs(my_workdir)