tree 925eb9cce6b9c043c082e92ff4b09e7e97531487
parent ada303048534d90c23e711d9ec5cacf606400195
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1414147646 +0200
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1415199649 +0100

compat.sh: make options a bit more robust