commit | 3180ebdfa07d167780925422695e221799723c02 | [log] [tgz] |
---|---|---|
author | robertswiecki <robert@swiecki.net> | Sat Dec 29 11:43:38 2018 +0100 |
committer | GitHub <noreply@github.com> | Sat Dec 29 11:43:38 2018 +0100 |
tree | df0e5eb2376727a1b60a949e132e46ae89876680 | |
parent | 0a946b59671dacbc65d199ffbb9d941fee93ce1c [diff] | |
parent | 7b19a257c44cede54424ddb656daa5c83766ed04 [diff] |
Merge pull request #240 from fgsch/fail-on-unsupported-opt Error out if -p is used on unsupported platforms