use bash

diff --git a/boost/extract.sh b/boost/extract.sh
index 297cbc55759a01059793cb239bf80624f4c9ca21..2fa7bc837151c81c5fca4a4014cd9993f8e80b57 100755 (executable)
--- 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: