From 16412ff15243643d3d64a3576b674938726e5079 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marek=20Ma=C5=A1karinec?= <marek@mrms.cz>
Date: Thu, 20 Jun 2024 16:29:21 +0200
Subject: [PATCH] Fix checkall.sh script
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Marek Maškarinec <marek@mrms.cz>
---
 cmd/checkall.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cmd/checkall.sh b/cmd/checkall.sh
index 736b23b..bde0d1c 100644
--- a/cmd/checkall.sh
+++ b/cmd/checkall.sh
@@ -7,7 +7,7 @@ for f in tests/*.um; do
 	./tophat -check -main $f
 done
 
-cd examples/extensions
+cd demos/extensions
 ../../tophat -check
 
 cd ../flappy