This is a trivial patch which fixes the tint build by removing the extra
[coreboot.git] / payloads / external / tint / libpayload_tint.patch
index 00aea14594c9595cf43e0965f4260913f47d7b3a..0eca9c53cf2a14ccf17de92a865825226260a60b 100644 (file)
@@ -15,7 +15,7 @@ diff -Naur tint-0.03b.orig/config.h tint-0.03b/config.h
 +#define random(x) rand(x)
 +#define srandom(x) srand(x)
 +#define curs_set(x)
-+typedef int time_t;
++
 +
  /* Score file */
 +#if 0