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

treinen pushed a commit to branch master
in repository why.

commit 4e65f997664b88e3a0f3e95c2af44a1845c99e0c
Author: Ralf Treinen <trei...@free.fr>
Date:   Tue Dec 27 11:58:40 2016 +0100

    tests: use /tmp when  not set
---
 debian/changelog                     | 6 ++++++
 debian/tests/frama-c+jessie+alt-ergo | 2 +-
 debian/tests/krakatoa+alt-ergo       | 2 +-
 3 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index dd2e980..bb23277 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+why (2.36-4) unstable; urgency=medium
+
+  * package tests: use /tmp when $ADT_ARTEFACTS is not set.
+
+ --
+
 why (2.36-3) unstable; urgency=medium
 
   * drop build-dependency on liblablgtk2-ocaml-dev
diff --git a/debian/tests/frama-c+jessie+alt-ergo 
b/debian/tests/frama-c+jessie+alt-ergo
index d16974d..43ba7ff 100755
--- a/debian/tests/frama-c+jessie+alt-ergo
+++ b/debian/tests/frama-c+jessie+alt-ergo
@@ -4,7 +4,7 @@ set -e
 
 this=frama-c+jessie+alt-ergo
 indir=${PWD}/debian/tests/c
-outdir=${ADT_ARTIFACTS}/${this}
+outdir=${ADT_ARTIFACTS-/tmp}/${this}
 mkdir -p ${outdir}
 
 why3 config --detect-provers > /dev/null 2>&1
diff --git a/debian/tests/krakatoa+alt-ergo b/debian/tests/krakatoa+alt-ergo
index b1e6a83..c138f4a 100755
--- a/debian/tests/krakatoa+alt-ergo
+++ b/debian/tests/krakatoa+alt-ergo
@@ -4,7 +4,7 @@ set -e
 
 this=krakatoa+alt-ergo
 indir=${PWD}/debian/tests/java
-outdir=${ADT_ARTIFACTS}/${this}
+outdir=${ADT_ARTIFACTS-/tmp}/${this}
 mkdir -p ${outdir}
 
 why3 config --detect-provers > /dev/null 2>&1

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/why.git

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to