diff options
| author | Pedro Filipe <pedrofilipecerqueira@outlook.com> | 2019-07-16 15:19:58 -0300 |
|---|---|---|
| committer | Leo <thinkabit.ukim@gmail.com> | 2019-07-17 06:01:13 -0300 |
| commit | f37c80a85d4121a74600479cc7064a855b83bcd6 (patch) | |
| tree | b2cec937cacdb70ded5b54c99442c1673d2b9f85 /community/ocaml/fix-check-parser-uptodate-or-warn.sh.patch | |
| parent | 2ea2cc5ac1ede223f8f226758eec4cd6efe57f42 (diff) | |
| download | aports-f37c80a85d4121a74600479cc7064a855b83bcd6.tar.bz2 aports-f37c80a85d4121a74600479cc7064a855b83bcd6.tar.xz | |
community/ocaml: update to 4.08.0
Fixes https://gitlab.alpinelinux.org/alpine/aports/issues/10583
Diffstat (limited to 'community/ocaml/fix-check-parser-uptodate-or-warn.sh.patch')
| -rw-r--r-- | community/ocaml/fix-check-parser-uptodate-or-warn.sh.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/community/ocaml/fix-check-parser-uptodate-or-warn.sh.patch b/community/ocaml/fix-check-parser-uptodate-or-warn.sh.patch new file mode 100644 index 0000000000..f78aaf0c23 --- /dev/null +++ b/community/ocaml/fix-check-parser-uptodate-or-warn.sh.patch @@ -0,0 +1,14 @@ +--- a/tools/check-parser-uptodate-or-warn.sh 2019-06-14 08:21:51.000000000 -0300 ++++ b/tools/check-parser-uptodate-or-warn.sh 2019-07-16 14:56:27.352376332 -0300 +@@ -43,8 +43,8 @@ + } + + # The check itself +-SOURCE_MTIME=$(mtime parsing/parser.mly) +-GENERATED_MTIME=$(mtime boot/menhir/parser.ml) ++SOURCE_MTIME=$(mtime "$builddir"/parsing/parser.mly) ++GENERATED_MTIME=$(mtime "$builddir"/boot/menhir/parser.ml) + if test $SOURCE_MTIME -gt $(( $GENERATED_MTIME + 10 )) + then + echo + |