From ce76df07da5deef5b2c24ec68432fa56685d4a50 Mon Sep 17 00:00:00 2001
From: Alexandre Oliva <oliva@lsd.ic.unicamp.br>
Date: Sat, 4 Dec 1999 02:54:05 +0000
Subject: [PATCH] Change that is part of Alexandre's configuration tags patch
 but isn't related to multi-language support.

The change just makes sure the that a shell variable is set.
---
 tests/defs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/defs b/tests/defs
index 214207de6..2aa752fd2 100644
--- a/tests/defs
+++ b/tests/defs
@@ -12,6 +12,7 @@ progname=`echo "$0" | sed 's%^.*/%%'`
 
 libtool="../libtool"
 make="${MAKE-make}"
+SHELL="${CONFIG_SHELL-/bin/sh}"
 
 prefix="./_inst"
 if test "$need_prefix" = yes; then
-- 
2.47.3