Skip to content
Snippets Groups Projects
Commit 345d5565 authored by Clark Coleman's avatar Clark Coleman
Browse files

Fix for clean when keystone/build dir has not been created yet.

parent d6dc2dde
No related branches found
No related tags found
No related merge requests found
Pipeline #13360 passed
......@@ -12,8 +12,9 @@ if env.GetOption('clean'):
os.chdir(os.environ['SECURITY_TRANSFORMS_HOME']+"/third_party/capstone")
os.system("make clean")
os.chdir(os.environ['SECURITY_TRANSFORMS_HOME'])
os.chdir(os.environ['SECURITY_TRANSFORMS_HOME']+"/third_party/keystone/build")
os.system("rm -rf " + os.environ['SECURITY_TRANSFORMS_HOME']+"/third_party/keystone/build")
if os.path.exists(os.environ['SECURITY_TRANSFORMS_HOME']+"/third_party/keystone/build"):
os.chdir(os.environ['SECURITY_TRANSFORMS_HOME']+"/third_party/keystone/build")
os.system("rm -rf " + os.environ['SECURITY_TRANSFORMS_HOME']+"/third_party/keystone/build")
os.chdir(os.environ['SECURITY_TRANSFORMS_HOME'])
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment