misc/objects.c: Don't rely on vlc_object_destroy() to destroy objects, but expects...

[vlc] / menuconfig

diff --git a/menuconfig b/menuconfig
index a2b80b83adc6bf344f9c94b28f8341954594e006..8a2081f093ed69c9eed08aa269cd08b709febdfb 100755 (executable)
--- 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 <asmax@videolan.org>