From 04be61ea8b92158252baf28938524dc28b4b76b3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Peter=20K=C3=BCmmel?= <kuemmel@lyx.org>
Date: Sat, 24 Oct 2015 12:39:51 +0200
Subject: [PATCH] use bash

---
 boost/extract.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/boost/extract.sh b/boost/extract.sh
index 297cbc5575..2fa7bc8371 100755
--- a/boost/extract.sh
+++ b/boost/extract.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 #
 # Script to extract only needed boost files using the bcp tool: