3.9 develop branch

This commit is contained in:
Olof hagsand 2018-11-11 12:20:51 +01:00
parent 9881fe7a92
commit 9bd0dc42c6
5 changed files with 25 additions and 6 deletions

View file

@ -55,7 +55,7 @@ distclean: clean
rm -f Makefile *~ .depend
docker:
sudo docker build -t $(IMAGE) .
sudo docker build -t $(IMAGE) . # --no-cache
echo "cd ../example; make docker to build example application"
push: