mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-28 23:31:56 +00:00
Bug 1430504 - Build a GNU make package for Debian wheezy. r=gps
The one available in Debian wheezy is 3.81, but we're explicitly using 4.0 on CentOS, most notably because of its --output-sync option which helps make logs better in some ways. This takes the package from Debian jessie and builds it for Debian wheezy. --HG-- extra : rebase_source : 20bb550703fec41ed0175ef7f78c5b9a394160f3
This commit is contained in:
parent
eb54839b21
commit
17462147e3
13
build/debian-packages/make-wheezy.diff
Normal file
13
build/debian-packages/make-wheezy.diff
Normal file
@ -0,0 +1,13 @@
|
||||
diff -Nru make-dfsg-4.0/debian/changelog make-dfsg-4.0/debian/changelog
|
||||
--- make-dfsg-4.0/debian/changelog 2015-01-18 03:30:55.000000000 +0900
|
||||
+++ make-dfsg-4.0/debian/changelog 2018-01-13 14:06:23.000000000 +0900
|
||||
@@ -1,3 +1,9 @@
|
||||
+make-dfsg (4.0-8.1.deb7moz1) wheezy; urgency=medium
|
||||
+
|
||||
+ * Mozilla backport for wheezy.
|
||||
+
|
||||
+ -- Mike Hommey <glandium@debian.org> Sat, 13 Jan 2018 14:06:23 +0900
|
||||
+
|
||||
make-dfsg (4.0-8.1) unstable; urgency=medium
|
||||
|
||||
* Non-maintainer upload.
|
@ -42,6 +42,17 @@ jobs:
|
||||
sha256: 406a12c0d0a2e92d44a8d444fd1b32bcc29a8810e9631427161a7cb411f60172
|
||||
patch: cmake-wheezy.diff
|
||||
|
||||
deb7-make:
|
||||
description: "Make backport for Debian wheezy"
|
||||
treeherder:
|
||||
symbol: Deb7(make)
|
||||
run:
|
||||
using: debian-package
|
||||
dsc:
|
||||
url: http://snapshot.debian.org/archive/debian/20150121T220334Z/pool/main/m/make-dfsg/make-dfsg_4.0-8.1.dsc
|
||||
sha256: ae258d9abb68e756d1ff5195dc3060748b3d4b019ccce19a249d4de23039a0ce
|
||||
patch: make-wheezy.diff
|
||||
|
||||
deb7-ninja:
|
||||
description: "Ninja backport for Debian wheezy"
|
||||
treeherder:
|
||||
|
Loading…
Reference in New Issue
Block a user