comparison: make/project.xml
make/project.xml
- changeset 1525
- f675a4e99fb5
- parent 1523
- b5c32391802f
- child 1526
- 047f8a19f7fa
equal
deleted
inserted
replaced
| 1524:5b24ad070bb0 | 1525:f675a4e99fb5 |
|---|---|
| 10 <var name="LIBVERSION_MAJOR">6</var> | 10 <var name="LIBVERSION_MAJOR">6</var> |
| 11 <var name="root_dir" exec="true">pwd</var> | 11 <var name="root_dir" exec="true">pwd</var> |
| 12 <var name="build_dir">\${root_dir}/build</var> | 12 <var name="build_dir">\${root_dir}/build</var> |
| 13 <var name="docs_dir">\${root_dir}/build/docs</var> | 13 <var name="docs_dir">\${root_dir}/build/docs</var> |
| 14 <var name="dist_dir">\${root_dir}/dist</var> | 14 <var name="dist_dir">\${root_dir}/dist</var> |
| 15 <var name="DOXYGEN" exec="true" option-help="path of the Doxygen executable">command -v doxygen</var> | 15 <var name="DOXYGEN" exec="true" option-help="path of the Doxygen executable"> |
| 16 command -v doxygen || echo '/bin/false' | |
| 17 </var> | |
| 16 <var name="MKDIR">/bin/mkdir -p</var> | 18 <var name="MKDIR">/bin/mkdir -p</var> |
| 17 <var name="RMFILE">/bin/rm -f</var> | 19 <var name="RMFILE">/bin/rm -f</var> |
| 18 <var name="RMDIR">/bin/rm -f -R</var> | 20 <var name="RMDIR">/bin/rm -f -R</var> |
| 19 <var name="COPYFILE">/bin/cp -f</var> | 21 <var name="COPYFILE">/bin/cp -f</var> |
| 20 <var name="COPYALL">/bin/cp -f -R</var> | 22 <var name="COPYALL">/bin/cp -f -R</var> |
