File indexing completed on 2024-05-05 04:52:23

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