| From 5030b415af1e5f846fa4e870096eb2b8f3ef1ade Mon Sep 17 00:00:00 2001 |
| From: Hao Jiang <jianghao@google.com> |
| Date: Thu, 26 Oct 2023 12:57:14 -0700 |
| Subject: [PATCH] Remove run-ci |
| |
| remove the script so that we can patch pdi in CI docker. |
| |
| Signed-off-by: Hao Jiang <jianghao@google.com> |
| Change-Id: Iccff47fa5a6bb0256c9cead3c49e426eb8a5c23c |
| --- |
| gen/run-ci | 16 ---------------- |
| 1 file changed, 16 deletions(-) |
| delete mode 100755 gen/run-ci |
| |
| diff --git a/gen/run-ci b/gen/run-ci |
| deleted file mode 100755 |
| index dba8109..0000000 |
| --- a/gen/run-ci |
| +++ /dev/null |
| @@ -1,16 +0,0 @@ |
| -#!/bin/bash |
| -cd "$(dirname "$0")" || exit |
| -find . -mindepth 1 -maxdepth 1 -type d -exec rm -r {} \; |
| -./regenerate-meson || exit |
| -rc=0 |
| -git --no-pager diff --exit-code -- . || rc=$? |
| -untracked="$(git ls-files --others --exclude-standard -- .)" || rc=$? |
| -if [ -n "$untracked" ]; then |
| - echo "Untracked files:" >&2 |
| - echo "$untracked" >&2 |
| - rc=1 |
| -fi |
| -if ((rc != 0)); then |
| - echo "Generated meson files differ from expected values" >&2 |
| - exit 1 |
| -fi |
| -- |
| 2.42.0.820.g83a721a137-goog |
| |
