From 2d52e4209c3ef7958f046feaa92bb4ddb1893f85 Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Fri, 20 Dec 2019 14:48:34 -0800
Subject: [PATCH] Add a make check rule and run it from the CI script.

---
 .github/workflows/main.yml | 8 ++++++++
 Makefile                   | 5 ++++-
 2 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index bb39b9b..ff46075 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -45,3 +45,11 @@ jobs:
           # Upload the dist folder. Give it a name according to the OS it was built for.
           name: ${{ format( 'dist-{0}.tgz', matrix.os) }}
           path: dist
+  check:
+    name: Check
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v1
+      with:
+        submodules: true
+    - run: make check
diff --git a/Makefile b/Makefile
index e800939..090fb1d 100644
--- a/Makefile
+++ b/Makefile
@@ -12,6 +12,9 @@ DEBUG_PREFIX_MAP=-fdebug-prefix-map=$(ROOT_DIR)=wasisdk://v$(VERSION)
 default: build
 	@echo "Use -fdebug-prefix-map=$(ROOT_DIR)=wasisdk://v$(VERSION)"
 
+check:
+	cd tests && PATH="$(PREFIX)/bin:$$PATH" ./run.sh
+
 clean:
 	rm -rf build $(PREFIX)
 
@@ -157,4 +160,4 @@ build/package.BUILT: build strip
 	./tar_from_installation.sh $(shell pwd)/dist
 	touch build/package.BUILT
 
-.PHONY: default clean build strip package
+.PHONY: default clean build strip package check