From 36bbe88f21955540ecc133b50b54cdd8ff995ab4 Mon Sep 17 00:00:00 2001
From: Matthias Schiffer <mschiffer@universe-factory.net>
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