diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-12-10 13:40:26 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-12-10 13:40:26 +0100 |
| commit | 4057d75607158f13e8a07b0efa1ecadc0aa3acd4 (patch) | |
| tree | 59e30b4c798b9dfc981966e5ac3c25fee368458f | |
| parent | 77a4c83759d9b74a0466c8ed5cc3fb55fa8123a1 (diff) | |
sleep is important
| -rw-r--r-- | debian/patches/libports-payloads.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/libports-payloads.patch b/debian/patches/libports-payloads.patch index 03003f91..c3903900 100644 --- a/debian/patches/libports-payloads.patch +++ b/debian/patches/libports-payloads.patch @@ -159,7 +159,7 @@ index 448b379..c229d77 100644 + int old, garbage; + struct deferred_dereference *d; + -+ sleep (5); ++ sleep (60); + + /* We are the only one updating generation, so this is safe. */ + old = generation; |