Revision 11862
Added by Aaron Marcuse-Kubitza about 11 years ago
| Makefile | ||
|---|---|---|
| 382 | 382 |
|
| 383 | 383 |
#### Overrides of forwarded commands |
| 384 | 384 |
|
| 385 |
inputs/reinstall: _always |
|
| 386 |
echo '. bin/reinstall_all; wait'|bash -s |
|
| 385 |
# commented out to avoid a cascade of "overriding commands for target" warnings |
|
| 386 |
#inputs/reinstall: _always |
|
| 387 |
# echo '. bin/reinstall_all; wait'|bash -s |
|
| 387 | 388 |
|
| 388 | 389 |
#### Maps validation |
| 389 | 390 |
|
Also available in: Unified diff
fix: /Makefile: inputs/reinstall: commented out to avoid a cascade of "overriding commands for target" warnings. this will revert to the default uninstall, install sequence for this target rather than the simultaneous-reinstall optimization (which can still be invoked manually).