Fix make -r
This commit is contained in:
7
make
7
make
@ -72,9 +72,10 @@ if len(sys.argv) != 1:
|
|||||||
if sys.argv[1] == "-r":
|
if sys.argv[1] == "-r":
|
||||||
sys.argv.pop(1)
|
sys.argv.pop(1)
|
||||||
print("Removing output directory...")
|
print("Removing output directory...")
|
||||||
shutil.rmtree("output") # Scary
|
if os.path.exists("output"):
|
||||||
print("Output directory removed")
|
shutil.rmtree("output") # Scary
|
||||||
sys.exit()
|
if len(sys.argv) == 1:
|
||||||
|
sys.exit()
|
||||||
|
|
||||||
if sys.argv[1] == "all":
|
if sys.argv[1] == "all":
|
||||||
if len(sys.argv) == 3:
|
if len(sys.argv) == 3:
|
||||||
|
Reference in New Issue
Block a user