Harald Welte 2ae3487e01 debian-*-build: Ensure rebuild on changes in upstream ... 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		2018-09-26 10:25:43 +02:00
..
.release	bumped to version 0.3.0	2017-08-27 08:53:44 +02:00
Dockerfile	debian-*-build: Ensure rebuild on changes in upstream	2018-09-26 10:25:43 +02:00
Makefile	introduce makefile based build	2017-08-19 19:42:45 +02:00