Opened 15 months ago

Last modified 4 weeks ago

#32119 new enhancement

Makefile: If build/make/Makefile.in changes, only run ./config.status, not ... --recheck

Reported by: Matthias Köppe Owned by:
Priority: minor Milestone: sage-9.8
Component: build Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description


Change History (4)

comment:1 Changed 15 months ago by Matthias Köppe

Milestone: sage-9.4sage-9.5

comment:2 Changed 10 months ago by Matthias Köppe

Milestone: sage-9.5sage-9.6

comment:3 Changed 7 months ago by Matthias Köppe

Milestone: sage-9.6sage-9.7

comment:4 Changed 4 weeks ago by Matthias Köppe

Milestone: sage-9.7sage-9.8
Note: See TracTickets for help on using tickets.