Fix [10fcb9f9c3c73d13340c0bd4153fc4c9c87b7186] (win doesn't have setenv).

[vlc] / menuconfig

diff --git a/menuconfig b/menuconfig
index f27bb95af54901ee84b1c34a8de649433d620222..8a2081f093ed69c9eed08aa269cd08b709febdfb 100755 (executable)
--- a/menuconfig
+++ b/menuconfig
@@ -1,4 +1,4 @@
-#! /bin/sh
+#!/usr/bin/env bash
 #
 # VLC media player configuration script, borrowed from linux menuconfig
 # Cyril Deguet <asmax@videolan.org>