From 5c493111fc466f8388df4e6a57b33cff5ee07a6b Mon Sep 17 00:00:00 2001 From: Florent Le Coz Date: Wed, 3 Oct 2012 23:51:05 +0200 Subject: [PATCH] Fix the 2 .sh scripts shebang to /bin/sh. --- launch.sh | 2 +- update.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/launch.sh b/launch.sh index 681e6fcf..de0a3efd 100755 --- a/launch.sh +++ b/launch.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env sh +#!/usr/sh if [ -d "$PWD/.git" ] then diff --git a/update.sh b/update.sh index 5619cef3..bf526042 100755 --- a/update.sh +++ b/update.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # Use this script to Download or Update all dependances to their last # developpement version. # The dependances will be placed in the sources directory, so you do not