Warning, file /multimedia/kaffeine/tools/update_dvbsi.sh was not indexed or was modified since last indexation (in which case cross-reference links may be missing, inaccurate or erroneous).
0001 #!/bin/sh 0002 set -eu 0003 0004 if [ "$(grep KAFFEINE_MAJOR_VERSION CMakeLists.txt)" == "" ]; then 0005 echo "Entering into the Kaffeine dir" 0006 cd kaffeine 0007 fi 0008 0009 cmake -DBUILD_TOOLS=1 . 0010 make updatedvbsi 0011 cd tools 0012 ./updatedvbsi