comparison: configure
configure
- changeset 1525
- f675a4e99fb5
- parent 1523
- b5c32391802f
- child 1526
- 047f8a19f7fa
equal
deleted
inserted
replaced
| 1524:5b24ad070bb0 | 1525:f675a4e99fb5 |
|---|---|
| 209 dist_dir__initialized__=1 | 209 dist_dir__initialized__=1 |
| 210 dist_dir="\${root_dir}/dist" | 210 dist_dir="\${root_dir}/dist" |
| 211 fi | 211 fi |
| 212 if test -z "$DOXYGEN__initialized__"; then | 212 if test -z "$DOXYGEN__initialized__"; then |
| 213 DOXYGEN__initialized__=1 | 213 DOXYGEN__initialized__=1 |
| 214 DOXYGEN=`command -v doxygen` | 214 DOXYGEN=`command -v doxygen || echo '/bin/false'` |
| 215 fi | 215 fi |
| 216 if test -z "$MKDIR__initialized__"; then | 216 if test -z "$MKDIR__initialized__"; then |
| 217 MKDIR__initialized__=1 | 217 MKDIR__initialized__=1 |
| 218 MKDIR="/bin/mkdir -p" | 218 MKDIR="/bin/mkdir -p" |
| 219 fi | 219 fi |
