diff options
author | h.udo <hudokkow@gmail.com> | 2018-07-15 18:15:03 +0100 |
---|---|---|
committer | h.udo <hudokkow@gmail.com> | 2018-07-16 23:09:31 +0100 |
commit | 2346d51433f9a119de7330d83dc5566a6085f50b (patch) | |
tree | ab34c885f78eb086c593e6c640aead9768018d44 /tools | |
parent | c1baaddbd528f7a20c7d397cedd83fe809b42927 (diff) |
[mir] Drop platform
Diffstat (limited to 'tools')
-rw-r--r-- | tools/depends/configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/depends/configure.ac b/tools/depends/configure.ac index b7beed09b7..d3d862a9cb 100644 --- a/tools/depends/configure.ac +++ b/tools/depends/configure.ac @@ -382,7 +382,7 @@ case $host in esac case $use_platform in - aml|gbm|mir|wayland) + aml|gbm|wayland) if test "$platform_os" != "linux"; then AC_MSG_ERROR([$use_platform is only supported on the Linux platform]) fi |