File indexing completed on 2024-05-05 04:52:23
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