diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-12 12:30:49 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-12 12:30:49 +0200 |
| commit | 56249c0fa5aa96767ce3fd9be76b8a9e7bef0231 (patch) | |
| tree | 11cd3ca4eeec4c49c6b42d6f032b0fcaf1e8dd58 /test/monniaux/multithreaded_volatile | |
| parent | 6a267e0bce732e68ab5e5b6c971ba5e0fe226719 (diff) | |
| download | compcert-kvx-56249c0fa5aa96767ce3fd9be76b8a9e7bef0231.tar.gz compcert-kvx-56249c0fa5aa96767ce3fd9be76b8a9e7bef0231.zip | |
some more simplifications
Diffstat (limited to 'test/monniaux/multithreaded_volatile')
| -rw-r--r-- | test/monniaux/multithreaded_volatile/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/multithreaded_volatile/Makefile b/test/monniaux/multithreaded_volatile/Makefile index 0234b02a..35717953 100644 --- a/test/monniaux/multithreaded_volatile/Makefile +++ b/test/monniaux/multithreaded_volatile/Makefile @@ -7,7 +7,7 @@ volatile.gcc.k1c : volatile.gcc.k1c.s k1-cos-gcc $< -o $@ volatile.ccomp.k1c.s : volatile.c - ../../../ccomp -O2 -Wall -Wno-c11-extensions -S $< -o $@ + ../../../ccomp -O2 -Wall -S $< -o $@ volatile.gcc.k1c.s : volatile.c k1-cos-gcc -O2 -Wall -Werror=implicit -std=gnu99 -S $< -o $@ |