From 0d321f54075639322496b3dd28c1ecc8468d48b2 Mon Sep 17 00:00:00 2001 From: "Thing-han, Lim" <15379156+potsrevennil@users.noreply.github.com> Date: Mon, 18 Nov 2024 13:59:33 +0800 Subject: [PATCH] chang namespace checking directory for fips202 The build system is adjusted that fips202 object files is built in `test/build/mlkemxxx/fips202`, therefore namespace checking directory is updated accordingly Signed-off-by: Thing-han, Lim <15379156+potsrevennil@users.noreply.github.com> --- scripts/ci/check-namespace | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/ci/check-namespace b/scripts/ci/check-namespace index 35d0f80e1..73ad4aebc 100755 --- a/scripts/ci/check-namespace +++ b/scripts/ci/check-namespace @@ -65,7 +65,9 @@ def run(): check_folder("test/build/mlkem512/mlkem", "PQCP_MLKEM_NATIVE_MLKEM512_") check_folder("test/build/mlkem768/mlkem", "PQCP_MLKEM_NATIVE_MLKEM768_") check_folder("test/build/mlkem1024/mlkem", "PQCP_MLKEM_NATIVE_MLKEM1024_") - check_folder("test/build/fips202", "PQCP_MLKEM_NATIVE_FIPS202_") + check_folder("test/build/mlkem512/fips202", "PQCP_MLKEM_NATIVE_FIPS202_") + check_folder("test/build/mlkem768/fips202", "PQCP_MLKEM_NATIVE_FIPS202_") + check_folder("test/build/mlkem1024/fips202", "PQCP_MLKEM_NATIVE_FIPS202_") if __name__ == "__main__": run()