From 5ccb6f64f44671a01d457bcd3afd863055347363 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Tue, 23 Feb 2010 12:26:35 +0000
Subject: [PATCH] * Run ATerm's `make check'.

---
 externals/Makefile.am | 1 +
 1 file changed, 1 insertion(+)

diff --git a/externals/Makefile.am b/externals/Makefile.am
index 7f68eee6cc..0afb26cb65 100644
--- a/externals/Makefile.am
+++ b/externals/Makefile.am
@@ -25,6 +25,7 @@ build-aterm: have-aterm
 	CC="$(CC)" ./configure --prefix=$$pfx/inst-aterm \
 	  --disable-shared --enable-static && \
 	$(MAKE) && \
+	$(MAKE) check && \
 	$(MAKE) install)
 	touch build-aterm
 endif