Changes between Version 40 and Version 41 of Ticket #29146


Ignore:
Timestamp:
Mar 28, 2021, 5:09:51 AM (23 months ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #29146 – Description

    v40 v41  
    1717- Make obtaining image from container of failing builds more robust: Use LABEL commands in dockerfiles, use `docker ps --filter label=.... ` to look up the container (https://docs.docker.com/engine/reference/commandline/ps/)
    1818- setenv/passenv SAGE_SERVER
    19 - Remove `TARGETS_PRE`/`TARGETS` distinction: Instead exit from make with a distinctive error code to trigger the ADD of src/; for example, add `sagelib` dependency on `$(SAGE_SRC)/sage`, and add the rule to Makefile:
     19- Remove `TARGETS_PRE`/`TARGETS` distinction: Instead leave a stamp file and exit from make with an error to trigger the ADD of src/; for example, add `sagelib` dependency on `$(SAGE_SRC)/sage`, and add the rule to Makefile:
    2020{{{
    2121$(SAGE_SRC)/sage:
    22         exit 76
     22        touch .need_src; exit 1
    2323}}}
    2424