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 /test/spass/partition.h | |
parent | 2a9a34bc137b1ba81ab4f6e90a447ae9d64e344b (diff) | |
download | compcert-a138b43ccb391be63bed2fea26cd36dab96b091f.tar.gz compcert-a138b43ccb391be63bed2fea26cd36dab96b091f.zip |
configure: use `$make` instead of `make`
To make sure it works if `gmake` is required.
Fixes: #381
Diffstat (limited to 'test/spass/partition.h')
0 files changed, 0 insertions, 0 deletions