Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
d1e79deb
Commit
d1e79deb
authored
Dec 15, 2014
by
POTTIER Francois
Browse files
Improved bench/good/Makefile to allow a set of known failures.
parent
ff33b05d
Changes
2
Hide whitespace changes
Inline
Side-by-side
bench/good/00KNOWN_FAILURES
0 → 100644
View file @
d1e79deb
belloeil
bench/good/Makefile
View file @
d1e79deb
...
...
@@ -54,12 +54,17 @@ test: clean $(RESULTS)
if
diff
$@
$*
.expected
>
& /dev/null
;
then
\
if
$(MENHIR)
$$
CMD
>
&
$*
.out
;
then
\
echo
"[OK]
$$
FILES"
;
\
else
(
\
echo
"-> [KO]
$$
FILES:"
;
\
echo
" menhir --only-preprocess succeeded,"
;
\
echo
" but menhir failed."
;
\
echo
" cat
$*
.out"
;
\
)
|
tee
-a
failures
;
\
else
\
if
!
grep
$*
00KNOWN_FAILURES
>
& /dev/null
;
then
(
\
echo
"-> [KO]
$$
FILES:"
;
\
echo
" menhir --only-preprocess succeeded,"
;
\
echo
" but menhir failed."
;
\
echo
" cat
$*
.out"
;
\
)
|
tee
-a
failures
;
\
else
\
echo
"-> [KO]
$$
FILES:"
;
\
echo
" known failure."
;
\
fi
;
\
fi
;
\
else
(
\
echo
"-> [KO]
$$
FILES:"
;
\
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment