diff options
| author | Benoit Favre | 2015-08-02 10:40:51 +0200 |
|---|---|---|
| committer | Benoit Favre | 2015-08-02 10:40:51 +0200 |
| commit | f118767dc2e2f1eae8a1c5c9d5cd49414736f560 (patch) | |
| tree | 04cee2fd7752af7d5bd43b5e2f65f391bb7499c0 /ngram-getpid.patch | |
| parent | 789777c372e542bf74d5cf4a38b6f3de57dfd0d6 (diff) | |
| download | aur-f118767dc2e2f1eae8a1c5c9d5cd49414736f560.tar.gz | |
update to 1.2.1 (via buggs)
Diffstat (limited to 'ngram-getpid.patch')
| -rw-r--r-- | ngram-getpid.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/ngram-getpid.patch b/ngram-getpid.patch deleted file mode 100644 index 752751ffcbce..000000000000 --- a/ngram-getpid.patch +++ /dev/null @@ -1,12 +0,0 @@ -*** opengrm-ngram-1.0.3/src/include/ngram/ngram-randgen.h 2012-02-13 15:45:55.000000000 +0100 ---- src/opengrm-ngram-1.0.3/src/include/ngram/ngram-randgen.h 2012-06-24 22:49:53.475956501 +0200 -*************** -*** 35,40 **** ---- 35,41 ---- - - #include <fst/fst.h> - #include <fst/randgen.h> -+ #include <unistd.h> - - namespace ngram { - |