diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-01 10:22:31 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-01 10:23:38 +0200 |
| commit | ffc03f2dcb24438d2900743848005c9a058e649c (patch) | |
| tree | cc861e334a4dbd0990038e870d34ff185ecafe7c /test/clightgen/empty.c | |
| parent | 27ff8beb35cc4fd1e6a05c6685a7903e9e64ecdf (diff) | |
| download | compcert-ffc03f2dcb24438d2900743848005c9a058e649c.tar.gz compcert-ffc03f2dcb24438d2900743848005c9a058e649c.zip | |
Add tests for clightgen
Also: add "parallel" entry to test/Makefile for parallel execution of tests.
Diffstat (limited to 'test/clightgen/empty.c')
| -rw-r--r-- | test/clightgen/empty.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/clightgen/empty.c b/test/clightgen/empty.c new file mode 100644 index 00000000..8f8871a7 --- /dev/null +++ b/test/clightgen/empty.c @@ -0,0 +1 @@ +/* The empty source file */ |