diff options
Diffstat (limited to 'build/tools/gen-platforms.sh')
-rwxr-xr-x | build/tools/gen-platforms.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/build/tools/gen-platforms.sh b/build/tools/gen-platforms.sh index c66576a12..861b2bd2d 100755 --- a/build/tools/gen-platforms.sh +++ b/build/tools/gen-platforms.sh @@ -821,6 +821,15 @@ if [ "$PACKAGE_DIR" ]; then PLATFORM_NAME="android-$PLATFORM" make_repo_prop "$DSTDIR/platforms/$PLATFORM_NAME" + NOTICE="$DSTDIR/platforms/$PLATFORM_NAME/NOTICE" + cp "$ANDROID_BUILD_TOP/bionic/libc/NOTICE" $NOTICE + echo >> $NOTICE + cp "$ANDROID_BUILD_TOP/bionic/libm/NOTICE" $NOTICE + echo >> $NOTICE + cp "$ANDROID_BUILD_TOP/bionic/libdl/NOTICE" $NOTICE + echo >> $NOTICE + cp "$ANDROID_BUILD_TOP/bionic/libstdc++/NOTICE" $NOTICE + mkdir -p "$PACKAGE_DIR" fail_panic "Could not create package directory: $PACKAGE_DIR" ARCHIVE=platform-$PLATFORM.zip |