build: Fixes for make check.

* build-aux/config.sh (srcdir): Initialize if unset.
* build-aux/test.sh (DIFF): Do not fail if unset.
This commit is contained in:
Jan Nieuwenhuizen 2018-08-23 19:57:50 +02:00
parent 4289708adb
commit 29ec86d080
No known key found for this signature in database
GPG key ID: F3C1A0D9C1D65273
2 changed files with 2 additions and 4 deletions

View file

@ -16,6 +16,7 @@
# You should have received a copy of the GNU General Public License # You should have received a copy of the GNU General Public License
# along with GNU Mes. If not, see <http://www.gnu.org/licenses/>. # along with GNU Mes. If not, see <http://www.gnu.org/licenses/>.
srcdir=${srcdir-.}
if [ "$V" = 2 ]; then if [ "$V" = 2 ]; then
echo $0 echo $0
echo srcdest=${srcdest} echo srcdest=${srcdest}

View file

@ -25,15 +25,12 @@ set -e
MES_ARENA=100000000 MES_ARENA=100000000
GUILE=${GUILE-$MES} GUILE=${GUILE-$MES}
DIFF=${DIFF-$(command -v diff)} DIFF=${DIFF-$(command -v diff)} || true
[ -z "$DIFF" ] && DIFF="sh scripts/diff.scm" [ -z "$DIFF" ] && DIFF="sh scripts/diff.scm"
t=${1-scaffold/tests/t} t=${1-scaffold/tests/t}
o="$t" o="$t"
rm -f "$o".mes-out rm -f "$o".mes-out
shift
set -e
rm -f "$o".gcc-out rm -f "$o".gcc-out
if [ -n "$CC" ]; then if [ -n "$CC" ]; then