Adaptation to renamed wm pkg

The 'wm' pkg is now called 'motif_wm'.

https://github.com/genodelabs/genode/issues/3024
This commit is contained in:
Norman Feske
2018-11-20 09:04:10 +01:00
parent a07707f08d
commit 44cdb1aaca
2 changed files with 2 additions and 7 deletions

View File

@@ -1,13 +1,8 @@
create_boot_directory
#
# To use the themed decorator instead of the default one, replace 'pkg/wm'
# with 'pkg/themed_wm'.
#
import_from_depot genodelabs/src/[base_src] \
genodelabs/pkg/[drivers_interactive_pkg] \
genodelabs/pkg/wm \
genodelabs/pkg/motif_wm \
genodelabs/src/init \
genodelabs/src/nitpicker \
genodelabs/src/ram_fs \