Skip to content

Commit

Permalink
Merge pull request #6949 from phadej/pr-6301-android
Browse files Browse the repository at this point in the history
Accept "linux-androideabi" as an alias for Android
  • Loading branch information
phadej authored Jul 9, 2020
2 parents 32dad5c + 77c27c5 commit 9d28c0c
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 1 deletion.
3 changes: 2 additions & 1 deletion Cabal/Distribution/System.hs
Original file line number Diff line number Diff line change
Expand Up @@ -122,7 +122,8 @@ osAliases Permissive FreeBSD = ["kfreebsdgnu"]
osAliases Compat FreeBSD = ["kfreebsdgnu"]
osAliases Permissive Solaris = ["solaris2"]
osAliases Compat Solaris = ["solaris2"]
osAliases _ Android = ["linux-android"]
osAliases Permissive Android = ["linux-android", "linux-androideabi", "linux-androideabihf"]
osAliases Compat Android = ["linux-android"]
osAliases _ _ = []

instance Pretty OS where
Expand Down
2 changes: 2 additions & 0 deletions changelog.d/pr-6301
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
synopsis: Accept "linux-androideabi" for determining buildOS
prs: #6301

0 comments on commit 9d28c0c

Please sign in to comment.