diff options
| author | Daniel Friesel <dfriesel@uos.de> | 2022-05-20 10:13:50 +0000 |
|---|---|---|
| committer | Daniel Friesel <dfriesel@uos.de> | 2022-05-20 10:13:50 +0000 |
| commit | 4eb9358714cc5553c886021931752ec2b95055f4 (patch) | |
| tree | 54ca7cb2b8748139fa534dcbdf40f7397ac72e7a /.docker/mkdocker | |
| parent | 0daafbe96c1057fe7fd9cc64f3e74fb914c1eeb4 (diff) | |
Add a test benchmark for explore-kconfig
Diffstat (limited to '.docker/mkdocker')
| -rwxr-xr-x | .docker/mkdocker | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.docker/mkdocker b/.docker/mkdocker new file mode 100755 index 0000000..9f72cc5 --- /dev/null +++ b/.docker/mkdocker @@ -0,0 +1,11 @@ +#!/bin/sh + +set -e + +VERSION="$(date +%Y.%m.%d)" +docker build -t ci-dfatool:${VERSION} . +docker build -t ci-dfatool:latest . +docker tag ci-dfatool:${VERSION} derfnull/ci-dfatool:${VERSION} +docker tag ci-dfatool:latest derfnull/ci-dfatool:latest +docker push derfnull/ci-dfatool:${VERSION} +docker push derfnull/ci-dfatool:latest |