/trunk/debian/patches/dump_timeout.patch |
---|
1,3 → 1,8 |
Author: Magnus Holmgren |
Bug-Debian: http://bugs.debian.org/593436 |
Description: Increase module dumping timeout |
The timeout seems to be too short on architectures such as ARM and Geode. |
--- a/lib/modules/Tools.pmod/Standalone.pmod/dump.pike |
+++ b/lib/modules/Tools.pmod/Standalone.pmod/dump.pike |
@@ -325,7 +325,8 @@ void dump_files() { |