diff options
| author | Andreas Fankhauser (@tux-six) | 2022-07-13 00:53:31 +0200 |
|---|---|---|
| committer | Andreas Fankhauser (@tux-six) | 2022-07-13 00:53:31 +0200 |
| commit | ed9d8f294b7d655886dc372d31c2479a7b527482 (patch) | |
| tree | 73df27e30d5bbd2de98a18e0797cbbd18e407512 /contrib/build-using-docker/Dockerfile | |
| parent | bfc4bb7f424dc27bf06bd4320f915ceef503d0bf (diff) | |
| parent | 1c3bba0a5d23eda61199b915fbc92112227b9411 (diff) | |
| download | bulk-ln-ed9d8f294b7d655886dc372d31c2479a7b527482.zip bulk-ln-ed9d8f294b7d655886dc372d31c2479a7b527482.tar.gz | |
Merge 'NDEBUG as default' to master
Diffstat (limited to 'contrib/build-using-docker/Dockerfile')
| -rw-r--r-- | contrib/build-using-docker/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/build-using-docker/Dockerfile b/contrib/build-using-docker/Dockerfile index 9a6df6b..c56cacd 100644 --- a/contrib/build-using-docker/Dockerfile +++ b/contrib/build-using-docker/Dockerfile @@ -31,5 +31,5 @@ USER 1000:1000 # run for max 10 hrs. Because this container is not meant to stay running # forever. -CMD ["sleep 36000"] +CMD ["sleep", "36000"] |