diff options
author | Simon Warta <[email protected]> | 2017-01-11 12:27:30 +0100 |
---|---|---|
committer | Simon Warta <[email protected]> | 2017-01-11 12:27:30 +0100 |
commit | 3cd7b5397adac393045995a931fcc8f65e5dd1de (patch) | |
tree | 50650fe998c887a42d8a93d7535f7bf20a1d2288 | |
parent | 08b96d4b6c06063a7a116790bb81f8e213bc23ce (diff) |
Remove try-catch block in gen_bakefile
As discussed in https://github.com/randombit/botan/pull/832
-rwxr-xr-x | configure.py | 16 |
1 files changed, 4 insertions, 12 deletions
diff --git a/configure.py b/configure.py index 2f3857aa6..3bf054b1a 100755 --- a/configure.py +++ b/configure.py @@ -1255,23 +1255,15 @@ def gen_bakefile(build_config, options): for src in sources: (dir,filename) = os.path.split(os.path.normpath(src)) dir = dir.replace('\\','/') - try: - param, dir = dir.split('/src/',1) - file.write('\tsources { src/%s/%s } \n' % ( dir, filename)) - except ValueError: - pass - file.write('\tsources { %s/%s } \n' % ( dir, filename)) + param, dir = dir.split('src/',1) + file.write('\tsources { src/%s/%s } \n' % ( dir, filename)) def bakefile_cli_headers(file, headers): for header in headers: (dir, filename) = os.path.split(os.path.normpath(header)) dir = dir.replace('\\','/') - try: - param, dir = dir.split('/src/',1) - file.write('\theaders { src/%s/%s } \n' % ( dir, filename)) - except ValueError: - pass - file.write('\theaders { %s/%s } \n' % ( dir, filename)) + param, dir = dir.split('src/',1) + file.write('\theaders { src/%s/%s } \n' % ( dir, filename)) def bakefile_test_sources(file, sources): for src in sources: |