diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-30 13:23:42 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-30 13:23:42 +0200 |
commit | ef508dae3e880bdd30e9d57ca2a8b3e257b1203b (patch) | |
tree | 0cb08c27aeef48ca154525378419f5b129793b2b /test/Makefile | |
parent | dbada6c41e51a03848b14260576ba825c3102313 (diff) | |
parent | 539b81a1a8823fb4aac64a9493bf0bafea2f2560 (diff) | |
download | compcert-kvx-ef508dae3e880bdd30e9d57ca2a8b3e257b1203b.tar.gz compcert-kvx-ef508dae3e880bdd30e9d57ca2a8b3e257b1203b.zip |
Merge branch 'towards_2.10' of ../towards_3.10 into kvx-work
Diffstat (limited to 'test/Makefile')
-rw-r--r-- | test/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Makefile b/test/Makefile index 50cf57fb..b0010ea0 100644 --- a/test/Makefile +++ b/test/Makefile @@ -11,7 +11,7 @@ else endif ifeq ($(CLIGHTGEN),true) -DIRS+=clightgen +DIRS+=export endif all: |