Index: Makefile
===================================================================
--- Makefile	(revision 4b65f9aa79f407947607d8f4088c4933899bc9ae)
+++ Makefile	(revision 51396632f0aaaf3057fcb069e17c2f9afba293e6)
@@ -30,10 +30,9 @@
 CSCOPE = cscope
 FORMAT = clang-format
-CHECK = tools/check.sh
 
 ERRNO_HEADER = abi/include/abi/errno.h
 ERRNO_INPUT = abi/include/abi/errno.in
 
-.PHONY: all cscope cscope_parts format ccheck ccheck-fix space doxy check check_errno releasefile release
+.PHONY: all cscope cscope_parts format ccheck ccheck-fix space doxy check_errno releasefile release
 
 all:
@@ -65,12 +64,4 @@
 	ninja -C $(BUILD_DIR) doxygen
 
-# Pre-integration build check
-check: ccheck $(CHECK)
-ifdef JOBS
-	$(CHECK) -j $(JOBS)
-else
-	$(CHECK) -j $(shell nproc)
-endif
-
 # `sed` pulls a list of "compatibility-only" error codes from `errno.in`,
 # the following grep finds instances of those error codes in HelenOS code.
Index: ols/check.sh
===================================================================
--- tools/check.sh	(revision 4b65f9aa79f407947607d8f4088c4933899bc9ae)
+++ 	(revision )
@@ -1,89 +1,0 @@
-#! /bin/bash
-
-#
-# Copyright (c) 2010 Jakub Jermar
-# All rights reserved.
-#
-# Redistribution and use in source and binary forms, with or without
-# modification, are permitted provided that the following conditions
-# are met:
-#
-# - Redistributions of source code must retain the above copyright
-#   notice, this list of conditions and the following disclaimer.
-# - Redistributions in binary form must reproduce the above copyright
-#   notice, this list of conditions and the following disclaimer in the
-#   documentation and/or other materials provided with the distribution.
-# - The name of the author may not be used to endorse or promote products
-#   derived from this software without specific prior written permission.
-#
-# THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
-# IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
-# OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
-# IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
-# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
-# NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
-# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
-# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
-# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
-# THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-#
-
-if [ $1" " == "-h " ];
-then
-	echo "Perform pre-integration hands-off build of all profiles."
-	echo
-	echo "Syntax:"
-	echo " $0 [-h] [args...]"
-	echo
-	echo " -h        Print this help."
-	echo " args...   All other args are passed to make (e.g. -j 6)"
-	echo
-
-	exit
-fi
-
-FAILED=""
-PASSED=""
-PROFILES=""
-DIRS=`find defaults/ -name Makefile.config | sed 's/^defaults\/\(.*\)\/Makefile.config/\1/' | sort`
-
-for D in $DIRS;
-do
-	for H in $DIRS;
-	do
-		if [ `echo $H | grep "^$D\/.*"`x != "x"  ];
-		then
-			continue 2
-		fi
-	done
-	PROFILES="$PROFILES $D"
-done
-
-echo ">>> Going to build the following profiles:"
-echo $PROFILES
-
-for P in $PROFILES;
-do
-	echo -n ">>>> Building $P... "
-	( make distclean && make PROFILE=$P HANDS_OFF=y "$@" ) >>/dev/null 2>>/dev/null
-	if [ $? -ne 0 ];
-	then
-		FAILED="$FAILED $P"
-		echo "failed."
-	else
-		PASSED="$PASSED $P"
-		echo "ok."
-	fi
-done
-
-echo ">>> Done."
-echo
-
-echo ">>> The following profiles passed:"
-echo $PASSED
-echo
-
-echo ">>> The following profiles failed:"
-echo $FAILED
-echo
-