tree 389392ce64d6f149d15e24d1449ba54f2e9e1633
parent 39141fed63a7eeb435c3c0c76fa7043a32790a5b
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1408008546 +0200
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1408033980 +0200

Optimize all.sh for new build options