comparison make/build.sh @ 15381:ed7234f0168f

Finish the changes from ad3441f45118
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 24 Apr 2014 17:31:54 +0200
parents bab5cbf74b5f
children
comparison
equal deleted inserted replaced
15380:10c6705dbe9a 15381:ed7234f0168f