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 /cparser/Unblock.ml | |
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 'cparser/Unblock.ml')
0 files changed, 0 insertions, 0 deletions