From b2e460dcb3910bd59555fbf52aacb85b63f19cd1 Mon Sep 17 00:00:00 2001
From: Mikko Rasa <tdb@tdb.fi>
Date: Sat, 24 Dec 2022 14:12:18 +0200
Subject: [PATCH] Fix bit shifts to be 64-bit

---
 source/androidtools.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/source/androidtools.cpp b/source/androidtools.cpp
index c5aab65..0073dff 100644
--- a/source/androidtools.cpp
+++ b/source/androidtools.cpp
@@ -61,13 +61,13 @@ AndroidDevKit::AndroidDevKit(Builder &b, const string &type, const FS::Path &def
 		if(api>63)
 			builder.get_logger().log("problems", "API level %d is too high", api);
 		else
-			supported_api_levels |= 1<<api;
+			supported_api_levels |= static_cast<uint64_t>(1)<<api;
 	}
 }
 
 void AndroidDevKit::select_api_level(unsigned api)
 {
-	if(!(supported_api_levels&(1<<api)))
+	if(!((supported_api_levels>>api)&1))
 		throw invalid_argument("AndroidDevKit::select_api_level");
 
 	init_api_level(api);
-- 
2.43.0