diff configure @ 184:f44808587a3c

- simplified some platform check
author Tassilo Philipp
date Fri, 17 Feb 2017 09:34:12 +0100
parents ee0de14d5da0
children 700c67984c08
line wrap: on
line diff