diff options
| author | Michael Schmidt <github@mschmidt.me> | 2018-07-19 10:47:27 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2018-07-19 10:47:27 +0200 |
| commit | d989f96a8d66b3f8224a77676a81f5b5e88c989d (patch) | |
| tree | f2d9314734cf800aa41973fa7ee83b6bb2681bc5 /powerpc | |
| parent | 43905f444428e3d53ff82a5c2c85957d7f0ab91d (diff) | |
| download | compcert-d989f96a8d66b3f8224a77676a81f5b5e88c989d.tar.gz compcert-d989f96a8d66b3f8224a77676a81f5b5e88c989d.zip | |
Update cparser/GNUmakefile to be compatible with BSD's cut utility. Choose better name for generated test cases.
Diffstat (limited to 'powerpc')
0 files changed, 0 insertions, 0 deletions