summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
9aa658b)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@2369
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
../include/surf/surfxml.h surf/surfxml.l: surf/surfxml.dtd
@echo "ERROR: src/surf/surfxml.dtd was modified, but the flexml program was not detected"
@echo "ERROR: Please install it, or if you didn't modify this file, try this:"
../include/surf/surfxml.h surf/surfxml.l: surf/surfxml.dtd
@echo "ERROR: src/surf/surfxml.dtd was modified, but the flexml program was not detected"
@echo "ERROR: Please install it, or if you didn't modify this file, try this:"
- @echo "ERROR: touch src/include/surf/surfxml.h src/surf/surfxml.l"
+ @echo "ERROR: touch include/surf/surfxml.h src/surf/surfxml.l"
@exit 1
../include/xbt/graphxml.h xbt/graphxml.l: xbt/graphxml.dtd
@echo "ERROR: src/xbt/graphxml.dtd was modified, but the flexml program was not detected"
@echo "ERROR: Please install it, or if you didn't modify this file, try this:"
@exit 1
../include/xbt/graphxml.h xbt/graphxml.l: xbt/graphxml.dtd
@echo "ERROR: src/xbt/graphxml.dtd was modified, but the flexml program was not detected"
@echo "ERROR: Please install it, or if you didn't modify this file, try this:"
- @echo "ERROR: touch src/include/xbt/graphxml.h src/xbt/graphxml.l"
+ @echo "ERROR: touch include/xbt/graphxml.h src/xbt/graphxml.l"