diff options
Diffstat (limited to 'scripts/dev/build_release.py')
-rwxr-xr-x | scripts/dev/build_release.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/dev/build_release.py b/scripts/dev/build_release.py index ce0ea2b8e..aa4046adc 100755 --- a/scripts/dev/build_release.py +++ b/scripts/dev/build_release.py @@ -328,6 +328,14 @@ def build_sdist(): return artifacts +def test_makefile(): + """Make sure the Makefile works correctly.""" + utils.print_title("Testing makefile") + with tempfile.TemporaryDirectory() as tmpdir: + subprocess.run(['make', '-f', 'misc/Makefile', + 'DESTDIR={}'.format(tmpdir), 'install'], check=True) + + def read_github_token(): """Read the GitHub API token from disk.""" token_file = os.path.join(os.path.expanduser('~'), '.gh_token') @@ -403,6 +411,7 @@ def main(): elif sys.platform == 'darwin': artifacts = build_mac() else: + test_makefile() artifacts = build_sdist() upload_to_pypi = True |