diff options
Diffstat (limited to 'common.py')
-rw-r--r-- | common.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -7,7 +7,7 @@ import sys | |||
7 | from collections import defaultdict | 7 | from collections import defaultdict |
8 | from textwrap import dedent | 8 | from textwrap import dedent |
9 | 9 | ||
10 | def get_executable(prog, hint, optional=False): | 10 | def get_executable(prog, hint='unknown', optional=False): |
11 | '''Search for @prog in system PATH. Print @hint if no binary is found.''' | 11 | '''Search for @prog in system PATH. Print @hint if no binary is found.''' |
12 | 12 | ||
13 | def is_exe(fpath): | 13 | def is_exe(fpath): |