diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-28 15:13:46 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-28 15:13:46 +0200 |
| commit | a789b94e986375a713263d7d7584ceaac01084f2 (patch) | |
| tree | 1e5dd0be120defa60882c844ea43aa0fb40b3db7 /test/monniaux/send_through | |
| parent | 11aa243fe776dc99001004a74b8ed0fc42c12fc9 (diff) | |
| download | compcert-kvx-a789b94e986375a713263d7d7584ceaac01084f2.tar.gz compcert-kvx-a789b94e986375a713263d7d7584ceaac01084f2.zip | |
adaptation pour k1c-cos
Diffstat (limited to 'test/monniaux/send_through')
| -rw-r--r-- | test/monniaux/send_through/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/send_through/Makefile b/test/monniaux/send_through/Makefile index 9e5a0cfd..72b84654 100644 --- a/test/monniaux/send_through/Makefile +++ b/test/monniaux/send_through/Makefile @@ -4,7 +4,7 @@ send_through: send_through_gcc.k1c.o send_through_ccomp.k1c.o send_through_gcc.k1c.o send_through_ccomp.k1c.o: send_through.h send_through_gcc.k1c.o : send_through_gcc.c - k1-mbr-gcc -Wall -Wextra -std=c99 -Werror=implicit -c $< -o $@ + k1-cos-gcc -Wall -Wextra -std=c99 -Werror=implicit -c $< -o $@ send_through_ccomp.k1c.o : send_through_ccomp.c ../../../ccomp -Wall -fnone -fvararg-calls -c $< -o $@ |