From 5582235bd300f8de997192f9109d596d12df4bbe Mon Sep 17 00:00:00 2001
From: Rose Hogenson <rosehogenson@posteo.net>
Date: Fri, 16 May 2025 16:54:17 -0700
Subject: Fix spelling of file names

---
 run_tests.fish | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100644 run_tests.fish

(limited to 'run_tests.fish')

diff --git a/run_tests.fish b/run_tests.fish
deleted file mode 100644
index 22c86d5..0000000
--- a/run_tests.fish
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/usr/bin/env fish
-
-set d (realpath (status dirname))
-
-cd $d/bytecode
-cargo build; or return
-
-cd $d
-
-if test (count $argv) -gt 0
-    set files $d/tests/$argv*
-else
-    set files $d/tests/*
-end
-
-for f in $files
-    $d/bytecode/target/debug/bytecode (sml $d/main.sml -o /dev/stderr $f >/dev/null 2>| psub)
-    set -l got $status
-    if test $got -eq 42
-        echo (basename -s.sml $f): PASS
-    else
-        echo (basename -s.sml $f): FAIL "(status $got)"
-    end
-end
-- 
cgit v1.3.1