2 Commits

Author	SHA1	Message	Date
Arne Morten Kvarving	14cd4b0472	add multiconfiguration support to jenkins build script ... also unifies build.sh and build-pr.sh and gets rid of build-opm-core.sh	2016-08-23 14:09:18 +02:00
Arne Morten Kvarving	7bc1ec7693	add jenkins build scripts	2016-04-04 14:36:24 +02:00