diff options
author | Markus Mohrhard <markus.mohrhard@googlemail.com> | 2016-09-08 07:54:20 +0200 |
---|---|---|
committer | Markus Mohrhard <markus.mohrhard@googlemail.com> | 2017-05-19 03:43:23 +0200 |
commit | fb13ed6955cd66017e5348b915af371a184ea633 (patch) | |
tree | d6ea2b754bac6f92342ff874d759b8bca9888c84 /bin/update | |
parent | 4a32354d48d1250fe761833b065ab2129de351a9 (diff) |
add the manifest file to the mar file
Change-Id: I3640d11dba5178cdd9bc49a4630f287b1775640e
Diffstat (limited to 'bin/update')
-rwxr-xr-x | bin/update/make_full_update.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/update/make_full_update.sh b/bin/update/make_full_update.sh index 138f7472b073..2c0faef200f8 100755 --- a/bin/update/make_full_update.sh +++ b/bin/update/make_full_update.sh @@ -48,6 +48,8 @@ updatemanifestv3="$workdir/updatev3.manifest" targetfiles="updatev2.manifest updatev3.manifest" mkdir -p "$workdir" +echo "updatev2.manifest" >> $workdir/files.txt +echo "updatev3.manifest" >> $workdir/files.txt # Generate a list of all files in the target directory. pushd "$targetdir" |