FF Dortmund (FFDO) specific Gluon configuration

Markus Lindenberg 1359954126 Fix site prefix 8 anos atrás
i18n 6bc9e587d6 Support for v2015.2 (master branch, in development) 9 anos atrás
Dockerfile 00152c903f Continue if a target fails, merge builds in output directory, clean up 8 anos atrás
README.md 00152c903f Continue if a target fails, merge builds in output directory, clean up 8 anos atrás
build.sh d6c6de89f7 Add timing for build.sh 8 anos atrás
docker-build.py 18bae87360 Fix error when arch dir exists 8 anos atrás
site.conf 1359954126 Fix site prefix 8 anos atrás
site.mk 00152c903f Continue if a target fails, merge builds in output directory, clean up 8 anos atrás

README.md

site-ffdo

FF Dortmund (FFDO) specific Gluon configuration

Using the Dockerfile

See https://docs.docker.com/installation/#installation on how to get Docker.

./build.sh

Cleaning up

docker rm ffdobuild
docker rmi ffdobuild