From ef1dcf7c3986d83f7809bd4f998783c6d04508c8 Mon Sep 17 00:00:00 2001
From: Quinn <quinnthepigeon@gmail.com>
Date: Wed, 9 Apr 2025 14:57:14 +0200
Subject: [PATCH] small fixes in the code, mainly to ensure things work
 properly.

---
 src/main.c | 25 +++++++++++++++----------
 1 file changed, 15 insertions(+), 10 deletions(-)

diff --git a/src/main.c b/src/main.c
index 66fa7ff..44451c6 100644
--- a/src/main.c
+++ b/src/main.c
@@ -1,12 +1,14 @@
-#include <errno.h>
-#include <limits.h>
-#include <linux/time.h>
-#include <stdarg.h>
-#include <stdint.h>
-#include <stdio.h>
-#include <stdlib.h>
-#include <stdnoreturn.h>
-#include <time.h>
+#include <features.h>
+#if _POSIX_C_SOURCE >= 199309L
+# include <bits/time.h>
+# include <errno.h>
+# include <limits.h>
+# include <stdarg.h>
+# include <stdint.h>
+# include <stdio.h>
+# include <stdlib.h>
+# include <stdnoreturn.h>
+# include <time.h>
 
 noreturn static inline void error(char* fmt, ...) {
 	va_list args;
@@ -31,7 +33,7 @@ int main(int argc, char** argv) {
 	}
 
 	// if we have input; perform coin flips for those times
-	for (uint32_t i = 1; i < argc; ++i) {
+	for (uint32_t i = 1; i < (unsigned)argc; ++i) {
 		int n = 0;           // contains the random data
 		uint64_t headsc = 0; // amount of heads
 		uint64_t tailsc = 0; // amount of tails
@@ -53,3 +55,6 @@ int main(int argc, char** argv) {
 		printf("results:\n heads: %lu\n tails: %lu\n", headsc, tailsc);
 	}
 }
+#else
+# error "platform unsupported"
+#endif