From: Mikko Rasa <tdb@tdb.fi>
Date: Sat, 24 Dec 2022 12:12:18 +0000 (+0200)
Subject: Fix bit shifts to be 64-bit
X-Git-Url: http://git.tdb.fi/?p=builder.git;a=commitdiff_plain;h=b2e460dcb3910bd59555fbf52aacb85b63f19cd1

Fix bit shifts to be 64-bit
---

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);