diff options
-rw-r--r-- | test/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index 8719a41..8c6765c 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -118,6 +118,7 @@ if (NOT BUILD_MINIMAL) # "xpath" "null" "lua" + "c89" # "promela" # generated c source |