Warning, file /multimedia/kaffeine/tools/update_source.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 # not for production use 0005 0006 if [ "$(grep KAFFEINE_MAJOR_VERSION CMakeLists.txt)" == "" ]; then 0007 echo "Entering into the Kaffeine dir" 0008 cd kaffeine 0009 fi 0010 0011 cmake -DBUILD_TOOLS=1 . 0012 make updatesource 0013 0014 tools/updatesource