diff options
Diffstat (limited to 'extra/kover/directory.patch')
| -rw-r--r-- | extra/kover/directory.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/extra/kover/directory.patch b/extra/kover/directory.patch new file mode 100644 index 000000000..ce86b7b6c --- /dev/null +++ b/extra/kover/directory.patch @@ -0,0 +1,10 @@ +--- directory.cc 2008-11-15 22:59:26.000000000 +0100 ++++ directory_patched.cc 2009-06-02 16:13:46.000000000 +0200 +@@ -9,6 +9,7 @@ + #include <dirent.h> + #include <sys/stat.h> + #include <cstring> ++#include <cstdio> + + directory::directory(string current_dir) + { |