From 87c741b45e686215398e13530a956e093a6b1355 Mon Sep 17 00:00:00 2001 From: Matthias Schiffer Date: Thu, 23 Nov 2017 17:44:46 +0100 Subject: [PATCH] scripts: run feeds.sh with bash like the other scripts handling modules Fixes #1262 --- scripts/feeds.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/feeds.sh b/scripts/feeds.sh index cd11e44f..dd833e8c 100755 --- a/scripts/feeds.sh +++ b/scripts/feeds.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -e