update

[l4.git] / l4 / pkg / uclibc / lib / contrib / uclibc / libc / sysdeps / linux / microblaze / bits / uClibc_page.h

diff --git a/l4/pkg/uclibc/lib/contrib/uclibc/libc/sysdeps/linux/microblaze/bits/uClibc_page.h b/l4/pkg/uclibc/lib/contrib/uclibc/libc/sysdeps/linux/microblaze/bits/uClibc_page.h
index 8fc81ae32022d0b3a920a245629de60eea3cb95e..8069e6afb2eb6c9a4945b19814325e35bee33c6c 100644 (file)
--- a/l4/pkg/uclibc/lib/contrib/uclibc/libc/sysdeps/linux/microblaze/bits/uClibc_page.h
+++ b/l4/pkg/uclibc/lib/contrib/uclibc/libc/sysdeps/linux/microblaze/bits/uClibc_page.h
@@ -11,8 +11,8 @@
  *  Library General Public License for more details.
  *
  *  You should have received a copy of the GNU Library General Public
- *  License along with this library; if not, write to the Free
- *  Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+ *  License along with this library; if not, see
+ *  <http://www.gnu.org/licenses/>.
  */
 
 /* Supply an architecture specific value for PAGE_SIZE and friends.  */
@@ -31,7 +31,9 @@
 #elif defined(CONFIG_MICROBLAZE_4K_PAGES)
 #define PAGE_SHIFT             12
 #else
+#if !defined(CONFIG_MMU)
 #warning Missing CONFIG_MICROBLAZE_nnK_PAGES, assuming 4K
+#endif
 #define PAGE_SHIFT             12
 #endif