diff options
| Commit | 531ba20974842528be973a2223dbfaa1df6be929 (patch) | |
|---|---|---|
| Author | 2018-09-15 18:33:19 +0300 | |
| Committer | 2018-09-15 18:33:19 +0300 | |
| Files | 84bd592df44244c11fe40872aa8e4c7eda54fb12 | |
| IPL-531ba20974842528be973a2223dbfaa1df6be929.tar IPL-531ba20974842528be973a2223dbfaa1df6be929.tar.gz IPL-531ba20974842528be973a2223dbfaa1df6be929.zip | ||
| Parent | 94aa9853bb6bf70b95e96575fbcc42b6c10b2d5a (diff) | |
Fixed publishing with ./publish.sh
1 files changed, 1 insertions, 1 deletions
| -rwxr-xr-x[-rw-r--r--] | website/publish.sh | 2 |
diff --git a/website/publish.sh b/website/publish.sh index 95fc770..cdb9ea4 100644..100755 --- a/website/publish.sh +++ b/website/publish.sh @@ -1,4 +1,4 @@ -#!/usr/bin/sh +#!/bin/bash set -e |