mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 08:21:08 +00:00
ca971bbfd8
This patch changes the top-level directory layout as a preparatory step for improving the tools for managing 3rd-party source codes. The rationale is described in the issue referenced below. Issue #1082
10 lines
218 B
Bash
Executable File
10 lines
218 B
Bash
Executable File
#!/bin/sh
|
|
#
|
|
# usage: dde_kit_adapt_sources <list of source files>
|
|
#
|
|
|
|
sed -i "s#l4/dde/ddekit#dde_kit#" "$@"
|
|
sed -i "s#l4/dde/linux26#dde_linux26#" "$@"
|
|
sed -i "s/ddekit/dde_kit/g" "$@"
|
|
sed -i "s/DDEKIT/DDE_KIT/g" "$@"
|