infinitime.git/docker/build.sh.in, branch semiredux Unnamed repository; edit this file 'description' to name the repository. Docker build : split build.sh into 2 scripts : build.sh that always exists and post_build.sh that is generated by cmake build.sh 2020-08-20T07:38:10Z JF jf@codingfield.com 2020-08-20T07:38:10Z e6a1aff6cee374d8888d89ec03e604f19a0a450d 






All output files (bin, hex, image, dfu) contain the version of the project in their filename.
2020-08-19T19:52:46Z

JF
jf@codingfield.com

2020-08-19T19:52:46Z

f197a3fe883cb7ebc028d4cfab199a4d998b125a

Update Docker build script accordingly.
Also fix permission issue with docker build (all files belonged to root).





Update Docker build script accordingly.
Also fix permission issue with docker build (all files belonged to root).