2023-04-19 18:14:16 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
#
|
|
|
|
set -euo pipefail
|
|
|
|
IFS=$'\n\t'
|
|
|
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
|
|
|
|
|
|
cd "$DIR/../"
|
|
|
|
|
|
|
|
samples_dir=$(readlink -f "org_mode_samples")
|
|
|
|
|
|
|
|
function get_test_names {
|
|
|
|
for test_file in "$@"
|
|
|
|
do
|
2023-04-19 18:17:31 +00:00
|
|
|
if [ -e "$test_file" ]; then
|
|
|
|
test_file_full_path=$(readlink -f "$test_file")
|
|
|
|
relative_to_samples=$(realpath --relative-to "$samples_dir" "$test_file_full_path")
|
|
|
|
without_extension="${relative_to_samples%.org}"
|
|
|
|
echo "${without_extension/\//_}"
|
|
|
|
else
|
|
|
|
echo "$test_file"
|
|
|
|
fi
|
2023-04-19 18:14:16 +00:00
|
|
|
done
|
|
|
|
}
|
|
|
|
|
|
|
|
get_test_names "$@" | while read test; do
|
|
|
|
cargo test --no-fail-fast --test test_loader "$test"
|
|
|
|
done
|