diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-01 17:52:33 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-01 17:53:12 +0100 |
commit | 8844e567fdc7f68c378f727a63278d94c2dd51bf (patch) | |
tree | 0a25cb72af3575fd09e4d6e83630034b0b707943 /test/monniaux/jpeg-6b/Makefile | |
parent | 35244064bbb2a853fb5c08898e8a74a7ec489aaa (diff) | |
download | compcert-kvx-8844e567fdc7f68c378f727a63278d94c2dd51bf.tar.gz compcert-kvx-8844e567fdc7f68c378f727a63278d94c2dd51bf.zip |
it still seems to work
Diffstat (limited to 'test/monniaux/jpeg-6b/Makefile')
-rw-r--r-- | test/monniaux/jpeg-6b/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/jpeg-6b/Makefile b/test/monniaux/jpeg-6b/Makefile index 05a96602..bd0a737b 100644 --- a/test/monniaux/jpeg-6b/Makefile +++ b/test/monniaux/jpeg-6b/Makefile @@ -6,10 +6,10 @@ # Read installation instructions before saying "make" !! # The name of your C compiler: -CC= ../../../ccomp +# CC= ../../../ccomp # You may need to adjust these cc options: -CFLAGS= -O3 +CFLAGS= -O3 -Wall # Generally, we recommend defining any configuration symbols in jconfig.h, # NOT via -D switches here. # However, any special defines for ansi2knr.c may be included here: |