From 58732ff527cf46cc4b8de5f7e87d8a698224e0b7 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Thu, 28 Feb 2013 10:32:11 +0100
Subject: [PATCH] use bash

---
 scripts/sfa-stable-debian.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/sfa-stable-debian.sh b/scripts/sfa-stable-debian.sh
index e535978..a8d176f 100755
--- a/scripts/sfa-stable-debian.sh
+++ b/scripts/sfa-stable-debian.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # usage e.g. $0 1.0-20
 [[ -z "$@" ]] && { echo Usage $0 stable ; exit 1 ; }
 stable=$1; shift
-- 
2.47.0