PyFMI: fix header

diff --git a/products/compil_scripts/PyFMI-2.5.sh b/products/compil_scripts/PyFMI-2.5.sh
index 152546c98ca699ce9c6e0326df6d018d6fd7c11e..fd4143dd5461272f7b6d2332c36de704e714ca47 100755 (executable)
--- a/products/compil_scripts/PyFMI-2.5.sh
+++ b/products/compil_scripts/PyFMI-2.5.sh
@@ -1,5 +1,3 @@
-#!/bin/bash
-
 #!/bin/bash                                                                                                                                                                              
 
 echo "##########################################################################"

diff --git a/products/compil_scripts/PyFMI-2.6.sh b/products/compil_scripts/PyFMI-2.6.sh
index 8f8faffa373d4b9dcd63f49755a45c6cd15a45ef..b19361890f64272cee6645df9379ae36380ee98e 100755 (executable)
--- a/products/compil_scripts/PyFMI-2.6.sh
+++ b/products/compil_scripts/PyFMI-2.6.sh
@@ -1,5 +1,3 @@
-#!/bin/bash
-
 #!/bin/bash                                                                                                                                                                              
 
 echo "##########################################################################"