2024-03-12 02:09:11 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
SOURCE=${BASH_SOURCE[0]}
|
|
|
|
|
while [ -L "$SOURCE" ]; do
|
|
|
|
|
DIR=$(cd -P "$(dirname "$SOURCE")" >/dev/null 2>&1 && pwd)
|
|
|
|
|
SOURCE=$(readlink "$SOURCE")
|
|
|
|
|
[[ $SOURCE != /* ]] && SOURCE=$DIR/$SOURCE
|
|
|
|
|
done
|
|
|
|
|
DIR=$(cd -P "$(dirname "$SOURCE")" >/dev/null 2>&1 && pwd)
|
|
|
|
|
|
|
|
|
|
BUILD_DIR=$(realpath ${DIR}/../build)
|
|
|
|
|
|
2024-03-23 01:27:54 +01:00
|
|
|
echo ${BUILD_DIR}/test_frame | entr -r ${DIR}/runtests.sh
|
