Ticket #26454: patch-src-makemenu.diff

./src/makemenu

@@ -657 +657 @@
 
     # Calculate number of \n characters in title, so menu title height
     # will be set correctly
-    TITLE_LINES=$(echo "$MENU_TITLE" | sed 's/!//g;s/\\n/!/g;s/[^!]//g' | wc -c)
+    TITLE_LINES=$(echo "$MENU_TITLE" | gsed 's/!//g;s/\\n/!/g;s/[^!]//g' | wc -c)
     TITLE_HEIGHT=$((100 * $TITLE_LINES))
 
     # Draw the menu title and pad the bottom with TILE_HEIGHT pixels
@@ -787 +787 @@
 # Calculate video length from length of audio
 VID_LENGTH=$(mplayer -quiet -identify -frames 0 -vo null -ao null \
     "$AUDIO_STREAM" 2>&1 | grep '^ID_LENGTH' | awk -F '=' '{print $2}' | \
-    sed -e "s/\.[0-9]*//g")
+    gsed -e "s/\.[0-9]*//g")
 VID_LENGTH=$(expr "$VID_LENGTH" \* $FPS \/ 100)
 
 # Make sure VID_LENGTH is nonzero