A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Please die properly when flexml goes wrong or is not there
[simgrid.git]
/
src
/
Makefile.am
diff --git
a/src/Makefile.am
b/src/Makefile.am
index
cfed457
..
9dd8414
100644
(file)
--- a/
src/Makefile.am
+++ b/
src/Makefile.am
@@
-161,7
+161,7
@@
surf/surfxml.c: surf/surfxml.l
@LEX@ -o$@ -Psurf_parse_ $^
surf/surfxml.l: surf/surfxml.dtd
@LEX@ -o$@ -Psurf_parse_ $^
surf/surfxml.l: surf/surfxml.dtd
- cd surf; flexml -b 1000000 -S -L surfxml.dtd ; \
+
set -e;
cd surf; flexml -b 1000000 -S -L surfxml.dtd ; \
mv surfxml.l surfxml.l.bak ; \
sed 's/surfxml\.h/surf\/surfxml\.h/g' surfxml.l.bak > surfxml.l
mv surfxml.l surfxml.l.bak ; \
sed 's/surfxml\.h/surf\/surfxml\.h/g' surfxml.l.bak > surfxml.l