From 36fc9b140373ffacd90ab45750f97424d3808748 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 29 Feb 2020 22:50:31 +0000
Subject: Run tests from dhall dir

---
 update-tests.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'update-tests.sh')

diff --git a/update-tests.sh b/update-tests.sh
index 1bc0a08..d58b4c5 100755
--- a/update-tests.sh
+++ b/update-tests.sh
@@ -12,7 +12,7 @@ Usage: update-tests.sh [missing | add]
 END
 )
 
-cd "$(dirname "$0")" || exit 1
+cd "$(dirname "$0")/dhall" || exit 1
 
 if [ ! -x "$(which dhall)" ] ; then
     echo "Error: 'dhall' executable not found in PATH"
@@ -89,7 +89,7 @@ function generate_output_file() {
 if [ "$1" = "missing" ]; then
     echo "Generating missing output files..."
     for folder in parser binary-decode semantic-hash import type-inference normalization alpha-normalization; do
-        for root in "./dhall-lang/tests" "./dhall/tests"; do
+        for root in "../dhall-lang/tests" "tests"; do
             # This is not robust to spaces in filenames, but hopefully there should be none
             fd 'A\.dhallb?$' "$root/$folder/success" \
                 | sed 's/A.dhallb\?$//' \
-- 
cgit v1.2.3