about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-02-23T12·26+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-02-23T12·26+0000
commit5ccb6f64f44671a01d457bcd3afd863055347363 (patch)
tree00bfd9151ecfe5bbc41c9e75d84c69b8b17ad7af
parent68e55cd9da7902ac8c8859507657cb013e234da4 (diff)
* Run ATerm's `make check'.
-rw-r--r--externals/Makefile.am1
1 files changed, 1 insertions, 0 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am
index 7f68eee6cc65..0afb26cb654b 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