On Thu, 24 Jan 2019 at 01:16, Philippe Mathieu-Daudé <[email protected]> wrote: > --- a/configure > +++ b/configure > @@ -3379,7 +3379,8 @@ for drv in $audio_drv_list; do > > sdl) > if test "$sdl" = "no"; then > - error_exit "sdl not found or disabled, can not use sdl audio driver" > + echo "WARN: sdl not found or disabled, can not use sdl audio driver" > + audio_drv_list=$(echo "$audio_drv_list" | sed -e 's/sdl *//g')
"WARNING:" is what configure mostly uses (though sometimes also "warning:" and in one case "WARN:")... thanks -- PMM
