diff options
| author | Jack Lloyd <[email protected]> | 2017-11-29 12:18:48 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-11-29 15:52:36 -0500 |
| commit | 9dd419140c06724fa9347e916fcc9d864f2fcf58 (patch) | |
| tree | 7a4c698fcd014a66aa560135cd120549c1c9876c /src/scripts/ci_build.py | |
| parent | 934f904f5e1ea6280eb294cc72bbc525eac53250 (diff) | |
Add a script to handle `make clean` target
This removes a lot of logic that cannot be shared between the
nmake (Windows environment) and gnumake (Unix env) makefiles.
Also it cleans up inconsistencies, eg nmake's make distclean did not
remove amalgamation files, but gnumake version did.
Diffstat (limited to 'src/scripts/ci_build.py')
| -rwxr-xr-x | src/scripts/ci_build.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index e7fd1e80c..b4ae98a0a 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -362,6 +362,7 @@ def main(args=None): 'src/python/botan2.py', 'src/scripts/ci_build.py', 'src/scripts/install.py', + 'src/scripts/cleanup.py', 'src/scripts/website.py', 'src/scripts/python_unittests.py', 'src/scripts/python_unittests_unix.py'] @@ -476,6 +477,9 @@ def main(args=None): # Otherwise generate a local HTML report cmds.append(['genhtml', cov_file, '--output-directory', 'lcov-out']) + cmds.append(make_cmd + ['clean']) + cmds.append(make_cmd + ['distclean']) + for cmd in cmds: if options.dry_run: print('$ ' + ' '.join(cmd)) |