Harald Welte
2ae3487e01
Let's use the well-known hack of adding the "Release" file of the respective debian distribution/version to ensure docker will invalidate the cache if the repository has changed since the last build. Change-Id: If6f75db11ef424e46c4915b761f9eca69258a9c5 |
||
---|---|---|
.. | ||
.release | ||
Dockerfile | ||
Makefile |