Skip to content

"make distclean" should not run "./configure" #29310

@jhpalmieri

Description

@jhpalmieri

As the summary says. It may be good enough to move the targets clean, sagelib-clean, build-clean, doc-clean, doc-src-clean, and doc-output-clean from build/make/deps to the top-level Makefile.

This would make things faster and more quiet.

Related:

CC: @jhpalmieri @mkoeppe @slel

Component: build

Keywords: quiet, speed

Author: John Palmieri

Branch: e28f093

Reviewer: Matthias Koeppe

Issue created by migration from https://trac.sagemath.org/ticket/29310

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions