diff --git a/build_script/build.sh b/build_script/build.sh index 0e40f0d64dbde2832297571b8ed8db10f2a14d6c..b75c0ccc11c64a19405fe764048305c5241ac89f 100755 --- a/build_script/build.sh +++ b/build_script/build.sh @@ -29,6 +29,8 @@ build() { make -j16 GLUON_TARGET="$TARGET" done + make manifest + popd }