19,7 → 19,7 |
in the file {\em Makefile.config} in the boot/, kernel/ and uspace/ |
directories and are automatically used for each subsequent build. |
|
To change the parameters, the user should change to the particular subsystem |
directory and type {\em make config}. When the build configuration parameter |
are changed, the whole subsystem should be completely rebuilt. The |
configuration system offers user to do this automatically. |
In order to modify the parameters, the user should change to the particular subsystem |
directory and type {\em make config}. When the build configuration parameters |
are changed, the whole subsystem should be completely rebuilt. The |
configuration system offers to do this automatically for the user. |