Revision f722e122f723ec37b95aa669a1f60f53260e0f71 authored by Matthias Bernt on 08 June 2023, 13:54:28 UTC, committed by Matthias Bernt on 08 June 2023, 13:54:28 UTC
1 parent 1ee21e3
check_model.sh
#!/bin/sh
cd "$(dirname "$0")"
. ./scripts/common_startup_functions.sh
setup_python
python ./scripts/check_model.py "$@"
[ $? -ne 0 ] && exit 1;
exit 0;
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...