[gnome-continuous] mozjs52: touch js/src/old-configure
- From: Philip Chimento <pchimento src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-continuous] mozjs52: touch js/src/old-configure
- Date: Mon, 17 Jul 2017 22:44:10 +0000 (UTC)
commit 62ef529e51001b0db988477545a93ea7de88c600
Author: Philip Chimento <philip chimento gmail com>
Date: Mon Jul 17 15:43:06 2017 -0700
mozjs52: touch js/src/old-configure
This gets the wrong mtime due to being a git checkout, and the logic to
check for a .git directory fails because the contents are copied
elsewhere.
patches/mozjs38-buildapi.patch | 3 ++-
1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/patches/mozjs38-buildapi.patch b/patches/mozjs38-buildapi.patch
index 41e3879..4bc8b3f 100644
--- a/patches/mozjs38-buildapi.patch
+++ b/patches/mozjs38-buildapi.patch
@@ -14,7 +14,7 @@ new file mode 100755
index 0000000..93ef339
--- /dev/null
+++ b/configure
-@@ -0,0 +1,13 @@
+@@ -0,0 +1,14 @@
+#!/bin/sh -x
+cat >Makefile <<ENDMAKEFILE
+all:
@@ -27,6 +27,7 @@ index 0000000..93ef339
+mkdir -p js/src
+cd js/src
+touch $srcdir/js/src/configure # timestamp wrong, because patched
++touch $srcdir/js/src/old-configure # ditto
+exec $srcdir/js/src/configure "$@"
--
1.7.1
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]