diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-25 15:39:42 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-25 15:39:42 +0100 |
| commit | a138b43ccb391be63bed2fea26cd36dab96b091f (patch) | |
| tree | 5c88028afca1db1c3e70299797fe33a261039cad /powerpc | |
| parent | 2a9a34bc137b1ba81ab4f6e90a447ae9d64e344b (diff) | |
| download | compcert-kvx-a138b43ccb391be63bed2fea26cd36dab96b091f.tar.gz compcert-kvx-a138b43ccb391be63bed2fea26cd36dab96b091f.zip | |
configure: use `$make` instead of `make`
To make sure it works if `gmake` is required.
Fixes: #381
Diffstat (limited to 'powerpc')
0 files changed, 0 insertions, 0 deletions