Commit 34cd9df2 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Fix file extension in [make data].

parent 116606cc
...@@ -55,8 +55,8 @@ data: test ...@@ -55,8 +55,8 @@ data: test
echo "name,mode,terminals,nonterminals,lr0states,lr1states,lr1time" > analysis/data.csv && \ echo "name,mode,terminals,nonterminals,lr0states,lr1states,lr1time" > analysis/data.csv && \
directory=_build/default/test/static/src && \ directory=_build/default/test/static/src && \
successful=0 && timedout=0 && \ successful=0 && timedout=0 && \
for timings in $$directory/*.out.timings ; do \ for timings in $$directory/*.timings ; do \
name=$${timings%.out.timings} ; \ name=$${timings%.timings} ; \
out=$$name.out ; \ out=$$name.out ; \
name=`basename $$name` ; \ name=`basename $$name` ; \
if grep --quiet "TIMEOUT after" $$out ; then \ if grep --quiet "TIMEOUT after" $$out ; then \
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment