build, flock-build:

  Do a "make check" also
  Build using both gcc and cc.
flock-build:
  Never mind - we can't build with cc from the development tree; it has to be
  done from a distribution tree.

bk: 37b1e914plE8_slv8-XNHObi4ly79g

diff --git a/build b/build
index c57bf12f107c16d427c860c4fefcb9f16fcf975c..e23865a3aaeb673ad21b9e93509d08f1a639eee9 100755 (executable)
--- a/build
+++ b/build
@@ -57,9 +57,9 @@ cp /dev/null $LOGF
 [ -f config.status ] || ../configure $CONFIG_ARGS
 
 case "$MAKE" in
- '') make
+ '') make && make check
      ;;
- *)  $MAKE
+ *)  $MAKE && $MAKE check
      ;;
 esac
 ) >> $LOGF 2>&1