diff options
| author |  Jan Mulder <jlmulder@xs4all.nl> | 2019-07-17 08:59:50 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2019-07-18 06:39:00 -0700 |
| commit | 7c722ea22244c30c27fb1d464d011907fd86b1bb (patch) | |
| tree | 73d094da553157b5d8f740c70f16277627490f71 /scripts | |
| parent | a236dd4fd2f2a4925ad4f94075de96126980eb83 (diff) | |
| download | subsurface-7c722ea22244c30c27fb1d464d011907fd86b1bb.tar.gz | |
Android Docker: make a nice version tag file
Trivial. The final touch command was missing the proper quotes, so it
created a bunch of strangely names files from the date command. Just
good for the developers that like to peek into the docker image.
Signed-off-by: Jan Mulder <jlmulder@xs4all.nl>
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/docker/android-build-container/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/docker/android-build-container/Dockerfile b/scripts/docker/android-build-container/Dockerfile index 5b9f88f7c..2b7107601 100644 --- a/scripts/docker/android-build-container/Dockerfile +++ b/scripts/docker/android-build-container/Dockerfile @@ -54,4 +54,4 @@ RUN cd /android && \ du -sh * RUN apt-get clean RUN cd /android/android-ndk-r18b/toolchains && ln -s x86_64-4.9 x86-64-4.9 -RUN touch /android/finished-`date` +RUN touch /android/finished-"`date`" |