diff --git a/tools/images/cromite-source/apply-cromite-patches.sh b/tools/images/cromite-source/apply-cromite-patches.sh index d4b38177..0be124e7 100644 --- a/tools/images/cromite-source/apply-cromite-patches.sh +++ b/tools/images/cromite-source/apply-cromite-patches.sh @@ -26,6 +26,8 @@ mv third_party/devtools-frontend-bis third_party/devtools-frontend git add -f third_party/devtools-frontend >/dev/null git commit -m ":NOEXPORT: third_party/devtools-frontend repo" >/dev/null +git prune + echo -e ${RED} ------- patches ${NC} cat ../../cromite/build/cromite_patches_list.txt echo