Rename benchmark.bash to TeoBench.bash

dumbnerd08 · Jul 3, 2023 · 6a7972e · 6a7972e
1 parent f195668
commit 6a7972e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchmark.bash → TeoBench.bash b/benchmark.bash → TeoBench.bash
@@ -87,4 +87,4 @@ do
     sleep $4
 done
 echo "Benchmark complete."
-rm -f /tmp/teobench.teo
+rm -f /tmp/teobench.teo