Browse Source

[CI] Runtime/pal_loader has been cleaned up, remove it from ignore list

Simon Gaiser 4 years ago
parent
commit
32c1965fdd
1 changed files with 0 additions and 1 deletions
  1. 0 1
      .ci/prfilter

+ 0 - 1
.ci/prfilter

@@ -45,7 +45,6 @@ THE_BIG_LIST_OF_NAUGHTY_FILES = list(map(pathlib.Path, [
     'LibOS/shim/test/native',
     'Pal/src/host/Linux-SGX/debugger/gdb',
     'Pal/src/host/Linux-SGX/sgx-driver/load.sh',
-    'Runtime/pal_loader',
     'Scripts/list-all-graphene.sh',
     'Scripts/memusg',
     '.ci/run-pylint',