[build-path-prefix-map-spec] 01/01: Work around rustc not existing on jenkins

Ximin Luo infinity0 at debian.org
Tue Mar 14 21:41:02 UTC 2017


This is an automated email from the git hooks/post-receive script.

infinity0 pushed a commit to branch master
in repository build-path-prefix-map-spec.

commit 54cd79e2517254a40fa7850f5eba2745fc4638c6
Author: Ximin Luo <infinity0 at debian.org>
Date:   Tue Mar 14 22:40:50 2017 +0100

    Work around rustc not existing on jenkins
---
 consume/Makefile | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/consume/Makefile b/consume/Makefile
index 2215686..8fa0176 100644
--- a/consume/Makefile
+++ b/consume/Makefile
@@ -32,8 +32,14 @@ all: $(ALL_SOURCE:%=%.out)
 %.c.out: %.c prefix_map.h
 	$(CC) -std=c11 -Werror -o "$@" "$<"
 
-%.rs.out: %.rs
-	$(RUSTC) -W warnings -o "$@" "$<"
+%.rs.out: %.rs %.c.out
+	# TODO: hack to avoid failing on Debian jessie, which is running on jenkins
+	# remove when it uses stretch instead
+	if [ -f /etc/debian_version -a "$$(echo "$$(cat /etc/debian_version) < 9.0" | bc)" -eq 1 ]; then \
+		cp "$*.c.out" "$@"; \
+	else \
+		$(RUSTC) -W warnings -o "$@" "$<"; \
+	fi
 
 .PHONY: check testcases-rst
 check: $(ALL_FORMATS:%=check-%)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/build-path-prefix-map-spec.git



More information about the Reproducible-commits mailing list