scripts : make the shell scripts cross-platform (ggml-org#14341)

vedranmiletic · Minh141120 · commit 57bc4e8f506c · 2025-07-05T23:58:09.000+07:00
diff --git a/tests/test-tokenizers-repo.sh b/tests/test-tokenizers-repo.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 if [ $# -lt 2 ]; then
     printf "Usage: $0 <git-repo> <target-folder> [<test-exe>]\n"

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-#!/bin/bash`
	`1`	`+#!/usr/bin/env bash`
`2`	`2`
`3`	`3`	`if [ $# -lt 2 ]; then`
`4`	`4`	`printf "Usage: $0 <git-repo> <target-folder> [<test-exe>]\n"`