From 36151c96931d6de80e1eb898c9fb8f3756857c77 Mon Sep 17 00:00:00 2001 From: =?utf8?q?R=C3=A9mi=20Duraffort?= Date: Thu, 10 Jan 2008 18:14:07 +0000 Subject: [PATCH] "bash is not always in /bin/". Patch by funman. --- menuconfig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/menuconfig b/menuconfig index a2b80b83ad..8a2081f093 100755 --- a/menuconfig +++ b/menuconfig @@ -1,4 +1,4 @@ -#! /bin/bash +#!/usr/bin/env bash # # VLC media player configuration script, borrowed from linux menuconfig # Cyril Deguet -- 2.39.2