X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fbitrotate;h=064519c0300e44a9e1aa504ef68f4e8f36ff7469;hb=69009347e0a41249758f65c498c16cf5a2564d8f;hp=df94a61c2026548ec4b8a7f5e08a587fe7242f55;hpb=05f7bb5e714f8d3a535d36cc31ed8ce13b79b835;p=pspp

diff --git a/modules/bitrotate b/modules/bitrotate
index df94a61c20..064519c030 100644
--- a/modules/bitrotate
+++ b/modules/bitrotate
@@ -1,5 +1,5 @@
 Description:
-Rotate bits in 16 and 32 bit integers.
+Rotate bits in 16 and 32 bit integers using stdint.h.
 
 Files:
 lib/bitrotate.h
@@ -7,6 +7,7 @@ lib/bitrotate.h
 Depends-on:
 
 configure.ac:
+AC_REQUIRE([AC_C_INLINE])
 
 Makefile.am:
 lib_SOURCES += bitrotate.h