Makes Scripts Fail Fast and Loud · 1d994da12b - osrm-backend - Gitea: Git with a cup of tea

Open-Harbor/osrm-backend

Makes Scripts Fail Fast and Loud

This commit is contained in:

Daniel J. Hofmann

2016-10-18 14:05:20 -07:00

committed by

Patrick Niklaus

parent 46994e87be

commit 1d994da12b

8 changed files with 32 additions and 6 deletions

									
										scripts/timer.sh
									
		+5
		-1
	
												View File
												
				@@ -1,4 +1,8 @@

				#!/bin/bash

				#!/usr/bin/env bash

				set -o errexit

				set -o pipefail

				set -o nounset

				TIMINGS_FILE=/tmp/osrm.timings

				NAME=$1