diff options
Diffstat (limited to 'system/shake/shake-dev_t-include.patch')
| -rw-r--r-- | system/shake/shake-dev_t-include.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/system/shake/shake-dev_t-include.patch b/system/shake/shake-dev_t-include.patch new file mode 100644 index 0000000000..19ca1c2ae9 --- /dev/null +++ b/system/shake/shake-dev_t-include.patch @@ -0,0 +1,10 @@ +--- judge.h_old 2013-11-15 22:00:35.085301859 +0100 ++++ judge.h 2013-11-15 22:00:54.811967958 +0100 +@@ -22,6 +22,7 @@ + #include <stdbool.h> + #include <fcntl.h> + #include <time.h> ++#include <sys/stat.h> + typedef unsigned int uint; + typedef long long int llint; + |