diff options
| author | Paul Mundt <lethal@linux-sh.org> | 2006-09-27 17:19:13 +0900 |
|---|---|---|
| committer | Paul Mundt <lethal@linux-sh.org> | 2006-09-27 17:19:13 +0900 |
| commit | e7f93a355c7e32c26eab8910cf53b7506bb046c5 (patch) | |
| tree | 0f4f2e60423a2c4c70134e6734b57b97e277af65 /scripts/Makefile.headersinst | |
| parent | adf1890b0cd63f754b2171b73e4d845c0950d407 (diff) | |
sh: Make PAGE_OFFSET configurable.
nommu needs to be able to shift PAGE_OFFSET, so we switch it to a
non-user-visible CONFIG_PAGE_OFFSET and use that in the few places
where it matters.
Signed-off-by: Paul Mundt <lethal@linux-sh.org>
Diffstat (limited to 'scripts/Makefile.headersinst')
0 files changed, 0 insertions, 0 deletions