From 377c6832a29178b1cf261a2efc2566e6f490b7a9 Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Tue, 25 Sep 2018 19:31:45 +0200
Subject: [PATCH] Test psa_constant_names in all.sh

---
 tests/scripts/all.sh | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh
index 11d10a367..84e449010 100755
--- a/tests/scripts/all.sh
+++ b/tests/scripts/all.sh
@@ -604,6 +604,15 @@ component_test_default_cmake_gcc_asan () {
     if_build_succeeded tests/compat.sh
 }
 
+component_test_psa_constant_names () {
+    msg "build: cmake, gcc, ASan" # ~ 1 min 50s
+    CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .
+    make
+
+    msg "test psa_constant_names" # ~ 1s
+    record_status tests/scripts/test_psa_constant_names.py
+}
+
 component_test_ref_configs () {
     msg "test/build: ref-configs (ASan build)" # ~ 6 min 20s
     CC=gcc cmake -D CMAKE_BUILD_TYPE:String=Asan .