summaryrefslogtreecommitdiff
path: root/make-permanently.in
AgeCommit message (Collapse)Author
2022-11-14Revert "make-permanently: only wait for 30 seconds max"HEADmasterErich Eckner
This reverts commit fe199b614f08fa1c5ceb67d8898f7bc1771e519c. This was useless anyways - we run make as long as make believes, there is something to do.
2022-11-14make-permanently: only wait for 30 seconds maxErich Eckner
2022-11-14make-permanently: run as long as neededErich Eckner
2021-03-29initial commit: make-permanently, pdiff, screen-rv0.0Erich Eckner