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 | |
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.
-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)) ; \ |