Changes between Version 40 and Version 41 of Ticket #29146
- Timestamp:
- Mar 28, 2021, 5:09:51 AM (23 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #29146 – Description
v40 v41 17 17 - 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/) 18 18 - setenv/passenv SAGE_SERVER 19 - Remove `TARGETS_PRE`/`TARGETS` distinction: Instead exit from make with a distinctive error codeto 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: 20 20 {{{ 21 21 $(SAGE_SRC)/sage: 22 exit 7622 touch .need_src; exit 1 23 23 }}} 24 24