From af8e7d62de678be143990ba7938110c35767c638 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 30 Mar 2015 12:24:31 +0200
Subject: [PATCH] * src/tgbatest/defs.in: Unset SPOT_DOTDEFAULT and
 SPOT_DOTEXTRA.

---
 src/tgbatest/defs.in | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/tgbatest/defs.in b/src/tgbatest/defs.in
index da73cf85f..5748da7e2 100644
--- a/src/tgbatest/defs.in
+++ b/src/tgbatest/defs.in
@@ -1,6 +1,6 @@
 # -*- mode: shell-script; coding: utf-8 -*-
-# Copyright (C) 2009, 2010, 2012, 2013 Laboratoire de Recherche et
-# Développement de l'Epita (LRDE).
+# Copyright (C) 2009, 2010, 2012, 2013, 2015 Laboratoire de Recherche
+# et Développement de l'Epita (LRDE).
 # Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris 6 (LIP6),
 # département Systèmes Répartis Coopératifs (SRC), Université Pierre
 # et Marie Curie.
@@ -66,6 +66,10 @@ SPIN='@SPIN@'
 LTL2BA='@LTL2BA@'
 PYTHON='@PYTHON@'
 
+# The test cases assume these variable are undefined
+unset SPOT_DOTEXTRA
+unset SPOT_DOTDEFAULT
+
 need_lbtt()
 {
   # LBTT may not have been installed or compiled.