Fix build script - Githubissues

thervh70 / ContextProject_RDD

1 stars 0 forks source link

Fix build script #199

Open mpsijm opened 8 years ago

mpsijm commented 8 years ago

~~Please merge #196 first.~~

I made sure that the build script properly works when the build directory does not yet exist. This shouldn't be much work to review, so have fun :)

coveralls commented 8 years ago

Coverage remained the same at 91.62% when pulling 56f09130b1c1c20883fb7db2dd7fa51db6287daa on fix-build-script into 098b4644c804a91a974447d95c8c6e142c12b5eb on dev.

mdingjan commented 8 years ago

I'm fine with the changes.

If #196 has been merged, then this is ready for merging.

coveralls commented 8 years ago

Coverage remained the same at 91.62% when pulling f852f5f70f6da517c9e339e903b8ac88cf8af410 on fix-build-script into 90f73773ba99bb3386680f091aa82f5f5957bdd4 on dev.