1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/get-symfpu b/contrib/get-symfpu
index 705e9d873..b17c00299 100755
--- a/contrib/get-symfpu
+++ b/contrib/get-symfpu
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 source "$(dirname "$0")/get-script-header.sh"
 
@@ -9,7 +9,7 @@ if [ -e $wdir ]; then
   exit 1
 fi
 
-commit="1273dc9379b36af1461fe04aa453db82408006cf"
+commit="8fbe139bf0071cbe0758d2f6690a546c69ff0053"
 
 mkdir $wdir
 cd $wdir