From 566dcf1878860b2776735940f70ebaa8751631b3 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Wed, 2 Oct 2024 11:33:51 +0200
Subject: [PATCH] fixup! driver: add --hash-seed

---
 kernel/driver.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/kernel/driver.cc b/kernel/driver.cc
index 2923bf5fde8..cbbf7ce6800 100644
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -271,7 +271,7 @@ int main(int argc, char **argv)
 		("X,trace", "enable tracing of core data structure changes. for debugging")
 		("M,randomize-pointers", "will slightly randomize allocated pointer addresses. for debugging")
 		("hash-seed", "mix up hashing values with <seed>, for extreme optimization and testing",
-			cxxopts::value<int>(), "<seed>")
+			cxxopts::value<uint64_t>(), "<seed>")
 		("A,abort", "will call abort() at the end of the script. for debugging")
 		("x,experimental", "do not print warnings for the experimental <feature>",
 			cxxopts::value<std::vector<std::string>>(), "<feature>")
@@ -419,8 +419,8 @@ int main(int argc, char **argv)
 			frontend_files = result["infile"].as<std::vector<std::string>>();
 		}
 		if (result.count("hash-seed")) {
-			int seed = result["hash-seed"].as<int>();
-			Hasher::set_fudge(seed);
+			int seed = result["hash-seed"].as<uint64_t>();
+			Hasher::set_fudge((Hasher::hash_t)seed);
 		}
 
 		if (log_errfile == NULL) {