docker/Makefile: fix bash style.

This commit is contained in:
Pedro Gonçalves 2020-07-31 12:45:09 +01:00
parent ca8575fcb3
commit abe517027c