X-Git-Url: https://git.sesse.net/?a=blobdiff_plain;f=menuconfig;h=a2b80b83adc6bf344f9c94b28f8341954594e006;hb=9cb2370c5cde359db8d9dc9630f41da11007a639;hp=f27bb95af54901ee84b1c34a8de649433d620222;hpb=fd8d9e955f956700f420867b8421687d21ba9426;p=vlc diff --git a/menuconfig b/menuconfig index f27bb95af5..a2b80b83ad 100755 --- a/menuconfig +++ b/menuconfig @@ -1,4 +1,4 @@ -#! /bin/sh +#! /bin/bash # # VLC media player configuration script, borrowed from linux menuconfig # Cyril Deguet