community/shake/shake.patch


1
2
3
4
5
6
7
8
9
10

--- judge.h	2011-03-18 00:13:20.000000000 +0100
+++ judge.h	2014-05-25 22:19:57.868937044 +0200
@@ -22,6 +22,7 @@
 #include <stdbool.h>
 #include <fcntl.h>
 #include <time.h>
+#include <sys/types.h>
 typedef unsigned int uint;
 typedef long long int llint;