/srv/osrm/osrm-backend/scripts/
/srv/osrm/osrm-backend/scripts
NameSizeModeActions
ci/-0755rm
analyze.sh7910755editdlrm
bisect_cucumber.sh7810755editdlrm
build_api_docs.sh15810755editdlrm
check_taginfo.py15180755editdlrm
error_on_dirty.sh2430755editdlrm
format.sh9890755editdlrm
gdb_printers.py192960644editdlrm
md5sum.js22460755editdlrm
modernize.sh5350755editdlrm
node_install.sh4030755editdlrm
osm2cucumber.js15680644editdlrm
osrm-runner.js65310755editdlrm
poly2req.js33160755editdlrm
tidy.sh5230755editdlrm
timer.js4840755editdlrm
update_dependencies.sh14910755editdlrm
validate_changelog.js14870644editdlrm
Edit: /srv/osrm/osrm-backend/scripts/error_on_dirty.sh (243B)
#!/usr/bin/env bash set -o errexit set -o pipefail set -o nounset MSG="The following files have been modified:" dirty=$(git ls-files --modified) if [[ $dirty ]]; then echo $MSG echo $dirty git diff exit 1 else exit 0 fi