File time-non-i386-target.patch of Package csmith

diff --git a/src/platform.cpp b/src/platform.cpp
index cdc8e1f..2b7f7be 100644
--- a/src/platform.cpp
+++ b/src/platform.cpp
@@ -64,6 +64,7 @@ static unsigned __int64 read_time(void) {
         return (h << 32) + l ;
 }
 #else
+#if defined (__i386__) || defined (__x86_64__)
 static long long read_time(void) {
         long long l;
         asm volatile(   "rdtsc\n\t"
@@ -71,6 +72,13 @@ static long long read_time(void) {
         );
         return l;
 }
+#else
+#include <time.h>
+static long long read_time(void) {
+	time_t t = time(NULL);
+	return t;
+}
+#endif
 #endif
 #endif