diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2017-11-13 15:30:50 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2017-11-13 15:30:50 +0000 |
commit | 55f0a1398022816b370e2f1f9ab00921cad5f44f (patch) | |
tree | f80070a2457021425bd92603d2661248cc1bea3c | |
parent | 7d7e3929665259544713afecb7c83c78b0a028aa (diff) | |
parent | 3b1fd626703d49080a4be87e810a101f852af22f (diff) | |
download | nix-55f0a1398022816b370e2f1f9ab00921cad5f44f.zip |
Merge #795
795: Use sh as interpreter r=asomers a=dereckson
No bash-specific feature is used, so deploy script will work
in every POSIX OS, even when bash isn't installed.
-rw-r--r-- | deploy.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh rev=$(git rev-parse --short HEAD) |