diff options
Diffstat (limited to 'debian')
-rw-r--r-- | debian/patches/fix-music.patch | 12 | ||||
-rw-r--r-- | debian/patches/series | 1 |
2 files changed, 13 insertions, 0 deletions
diff --git a/debian/patches/fix-music.patch b/debian/patches/fix-music.patch new file mode 100644 index 0000000..033fa33 --- /dev/null +++ b/debian/patches/fix-music.patch @@ -0,0 +1,12 @@ +Index: colobot/data/CMakeLists.txt +=================================================================== +--- colobot.orig/data/CMakeLists.txt 2015-05-20 23:33:27.282246180 +0200 ++++ colobot/data/CMakeLists.txt 2015-05-20 23:33:01.048498516 +0200 +@@ -22,6 +22,6 @@ + add_subdirectory(help) + add_subdirectory(levels) + +-if(EXISTS music) ++if(EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/music) + add_subdirectory(music) + endif() diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..632c1c5 --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +fix-music.patch |