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/GNUmakefile | |
| parent | 43905f444428e3d53ff82a5c2c85957d7f0ab91d (diff) | |
| download | compcert-kvx-d989f96a8d66b3f8224a77676a81f5b5e88c989d.tar.gz compcert-kvx-d989f96a8d66b3f8224a77676a81f5b5e88c989d.zip | |
Update cparser/GNUmakefile to be compatible with BSD's cut utility. Choose better name for generated test cases.
Diffstat (limited to 'cparser/GNUmakefile')
| -rw-r--r-- | cparser/GNUmakefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cparser/GNUmakefile b/cparser/GNUmakefile index a2646c7b..ce326463 100644 --- a/cparser/GNUmakefile +++ b/cparser/GNUmakefile @@ -164,11 +164,11 @@ concrete: $(DATABASE).raw deLexer # We declare a type name "t", which the de-lexer uses as a type name. @ f=0 ; \ while read -r line ; do \ - filename=`printf "tests/generated/%03d.c" $$f` ; \ + filename=`printf "tests/generated/parser_%03d.c" $$f` ; \ rm -f $$filename ; \ echo "typedef int t;" >> $$filename ; \ echo "$$line" \ - | $(CUT) --fields="1" --delimiter=" " --complement \ + | $(CUT) -f 2- -d " " \ | ./deLexer \ >> $$filename ; \ f=$$((f+1)) ; \ |