2021-05-18 14:54:48 +08:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
## this script prints out all test/props/prop_*.erl files of a given app,
|
|
|
|
|
## file names are separated by comma for proper's `-m` option
|
|
|
|
|
|
|
|
|
|
set -euo pipefail
|
|
|
|
|
|
|
|
|
|
# ensure dir
|
|
|
|
|
cd -P -- "$(dirname -- "$0")/.."
|
2022-01-07 16:30:56 +08:00
|
|
|
|
2021-05-18 14:54:48 +08:00
|
|
|
BASEDIR="."
|
|
|
|
|
if [ "$1" != "emqx" ]; then
|
|
|
|
|
BASEDIR="$1"
|
|
|
|
|
fi
|
|
|
|
|
|
2022-12-29 18:13:09 +08:00
|
|
|
# shellcheck disable=SC2038
|
2021-05-18 14:54:48 +08:00
|
|
|
find "${BASEDIR}/test/props" -name "prop_*.erl" 2>/dev/null | xargs -I{} basename {} .erl | xargs | tr ' ' ','
|
