From 58ed1928dd90d6efe0af5c40f3ef7b408669d329 Mon Sep 17 00:00:00 2001
From: Markus Fleschutz <markus@fleschutz.de>
Date: Sat, 22 May 2021 15:51:36 +0200
Subject: [PATCH] Add make test

---
 Scripts/make-repo.ps1 | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Scripts/make-repo.ps1 b/Scripts/make-repo.ps1
index 50ab95df..66737b7c 100755
--- a/Scripts/make-repo.ps1
+++ b/Scripts/make-repo.ps1
@@ -22,6 +22,9 @@ function MakeDir { param($Path)
 		& make -j4
 		if ($lastExitCode -ne "0") { throw "Executing 'make -j4' has failed" }
 
+		& make test
+		if ($lastExitCode -ne "0") { throw "Executing 'make test' has failed" }
+
 	} elseif (test-path "$Path/configure") { 
 		"⏳ Building 📂$DirName using 'configure'..."
 		set-location "$Path/"