diff options
-rw-r--r-- | scripts/lib/mic/utils/fs_related.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/lib/mic/utils/fs_related.py b/scripts/lib/mic/utils/fs_related.py index 61617353eb..dd420e88dc 100644 --- a/scripts/lib/mic/utils/fs_related.py +++ b/scripts/lib/mic/utils/fs_related.py | |||
@@ -57,7 +57,10 @@ def find_binary_path(binary): | |||
57 | bin_path = "%s/%s" % (path, binary) | 57 | bin_path = "%s/%s" % (path, binary) |
58 | if os.path.exists(bin_path): | 58 | if os.path.exists(bin_path): |
59 | return bin_path | 59 | return bin_path |
60 | raise CreatorError("Command '%s' is not available." % binary) | 60 | |
61 | print "External command '%s' not found, exiting." % binary | ||
62 | print " (Please install '%s' on your host system)" % binary | ||
63 | sys.exit(1) | ||
61 | 64 | ||
62 | def makedirs(dirname): | 65 | def makedirs(dirname): |
63 | """A version of os.makedirs() that doesn't throw an | 66 | """A version of os.makedirs() that doesn't throw an |