Description: Don't automatically run tests during build
 We would like to control when we run tests so that, e.g.,
 no tests are run if DEB_BUILD_OPTIONS includes nocheck.
 Drop the tests from the build, and instead call them
 from debian/rules when desired.
Author: Ryan Kavanagh <rak@debian.org>
Forwarded: not-needed
Last-Update: 2022-01-01
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
Index: mlton/Makefile
===================================================================
--- mlton.orig/Makefile	2022-01-01 12:55:37.726343251 -0500
+++ mlton/Makefile	2022-01-01 12:56:55.994840906 -0500
@@ -68,7 +68,6 @@
 .PHONY: basis
 basis:
 	$(MAKE) basis-no-check
-	$(MAKE) basis-check
 
 .PHONY: compiler
 compiler:
@@ -134,7 +133,6 @@
 .PHONY: libraries
 libraries:
 	$(MAKE) libraries-no-check
-	$(MAKE) libraries-check
 
 .PHONY: runtime
 runtime: