diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-11-09 15:17:52 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-11-09 15:17:52 +0100 |
| commit | 4f5ec2ec310a78940b29f18e51dd598a9dfe401d (patch) | |
| tree | bc9dcc0aa912208340ec71d74d48f43d6430d005 /test/mppa/lib | |
| parent | 9ac1af5d82c94d5476d1a7c9114dbde9581b80b2 (diff) | |
| download | compcert-kvx-4f5ec2ec310a78940b29f18e51dd598a9dfe401d.tar.gz compcert-kvx-4f5ec2ec310a78940b29f18e51dd598a9dfe401d.zip | |
Fixing k1-gcc becoming k1-mbr-gcc
Diffstat (limited to 'test/mppa/lib')
| -rw-r--r-- | test/mppa/lib/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/mppa/lib/Makefile b/test/mppa/lib/Makefile index 7aeab9f3..74e7ca8b 100644 --- a/test/mppa/lib/Makefile +++ b/test/mppa/lib/Makefile @@ -2,7 +2,7 @@ prng-test-x86: prng.c gcc -D__UNIT_TEST_PRNG__ -O2 -std=c99 $< -o $@ prng-test-k1c: prng.c - k1-gcc -D__UNIT_TEST_PRNG__ -O2 -std=c99 $< -o $@ + k1-mbr-gcc -D__UNIT_TEST_PRNG__ -O2 -std=c99 $< -o $@ .PHONY: test: test-x86 test-k1c |